Search results for "ADT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Sayan Mitra, Daniel Liberzon, Nancy A. Lynch	Verifying average dwell time of hybrid systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	optimization-based verification, Hybrid systems, simulation relation
74	Martin Erwig	Random Access to Abstract Data Types.	AMAST	2000	DBLP DOI BibTeX RDF	adt, graph algorithm, category theory, catamorphism
65	Anton Faradjian, Johannes Gehrke, Philippe Bonnet	GADT: A Probability Space ADT for Representing and Querying the Physical World.	ICDE	2002	DBLP DOI BibTeX RDF	measurement data, gaussian data, probabilistic ADT's, object-relational datatypes, Data models, access methods, measure theory, sensor databases, probabilistic data
62	Chen-Mao Liao, Sheng-Tsaing Tseng	Optimal design for step-stress accelerated degradation tests.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
62	Sayan Mitra, Nancy A. Lynch, Daniel Liberzon	Verifying Average Dwell Time by Solving Optimization Problems.	HSCC	2006	DBLP DOI BibTeX RDF
62	Erik Poll, Jan Zwanenburg	A Logic for Abstract Data Types as Existential Types.	TLCA	1999	DBLP DOI BibTeX RDF
62	Martin Erwig	Categorical Programming with Abstract Data Types.	AMAST	1998	DBLP DOI BibTeX RDF
62	Marcelo P. Fiore, Gordon D. Plotkin	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory.	CSL	1996	DBLP DOI BibTeX RDF
58	Ralf Hartmut Güting, Victor Teixeira de Almeida, Zhiming Ding	Modeling and querying moving objects in networks.	VLDB J.	2006	DBLP DOI BibTeX RDF	ADT, Network, Moving object, Data type, Spatio-temporal
55	Duane Buck, David J. Stucki	The hidden injuries of overloading 'ADT'.	SIGCSE	2009	DBLP DOI BibTeX RDF	value semantics, modeling, interfaces, abstract data types, containers, data representation
55	Egidio Astesiano, Maura Cerioli, Gianna Reggio	From ADT to UML-Like Modelling.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
47	Pairoj Termsinsuwan, Zixue Cheng, Norio Shiratori	A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
46	YiGang Peng, Xudong Xie, Wenli Xu, Qionghai Dai	Face recognition using anisotropic dual-tree complex wavelet packets.	ICPR	2008	DBLP DOI BibTeX RDF
46	Gian Pietro Picco, Matteo Migliavacca, Amy L. Murphy, Gruia-Catalin Roman	Distributed Abstract Data Types.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
46	Christian S. Collberg	Automatic derivation of compiler machine descriptions.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Back-end generators, compiler configuration scripts, retargeting
46	Farhad Arbab	Abstract Behavior Types: A Foundation Model for Components and Their Composition.	FMCO	2002	DBLP DOI BibTeX RDF
46	Alessandro Avellone, Mauro Ferrari 0002, Pierangelo Miglioli	Synthesis of Programs in Abstract Data Types.	LOPSTR	1998	DBLP DOI BibTeX RDF
46	Val Tannen, Ramesh Subrahmanyam	On Extending Computational Adequacy by Data Abstraction.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
46	James Ong, Dennis Fogg, Michael Stonebraker	Implementation of Data Abstraction in the Relational Database System Ingres.	SIGMOD Rec.	1984	DBLP DOI BibTeX RDF
42	Dimitris Fotakis 0001, David Ríos Insua (eds.)	Algorithmic Decision Theory - 7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021, Proceedings	ADT	2021	DBLP DOI BibTeX RDF
42	Beatrice Napolitano, Olivier Cailloux, Paolo Viappiani	Simultaneous Elicitation of Scoring Rule and Agent Preferences for Robust Winner Determination.	ADT	2021	DBLP DOI BibTeX RDF
42	Leora Schmerler, Noam Hazon	Strategic Voting in Negotiating Teams.	ADT	2021	DBLP DOI BibTeX RDF
42	Loïc Adam, Sébastien Destercke	Incremental Elicitation of Preferences: Optimist or Pessimist?	ADT	2021	DBLP DOI BibTeX RDF
42	Ben Abramowitz, Edith Elkind, Davide Grossi, Ehud Shapiro, Nimrod Talmon	Democratic Forking: Choosing Sides with Social Choice.	ADT	2021	DBLP DOI BibTeX RDF
42	Arnaud Grivet Sébert, Nicolas Maudet, Patrice Perny, Paolo Viappiani	Preference Aggregation in the Generalised Unavailable Candidate Model.	ADT	2021	DBLP DOI BibTeX RDF
42	Luis Müller, Matthias Bentert	On Reachable Assignments in Cycles.	ADT	2021	DBLP DOI BibTeX RDF
42	Kshitija Taywade, Judy Goldsmith, Brent Harrison	Multi-agent Reinforcement Learning for Decentralized Stable Matching.	ADT	2021	DBLP DOI BibTeX RDF
42	Parham Shams, Aurélie Beynier, Sylvain Bouveret, Nicolas Maudet	Minimizing and Balancing Envy Among Agents Using Ordered Weighted Average.	ADT	2021	DBLP DOI BibTeX RDF
42	Thekla Hamm, Martin Lackner, Anna Rapberger	Computing Kemeny Rankings from d-Euclidean Preferences.	ADT	2021	DBLP DOI BibTeX RDF
42	Gil Ben Zvi, Eyal Leizerovich, Nimrod Talmon	Iterative Deliberation via Metric Aggregation.	ADT	2021	DBLP DOI BibTeX RDF
42	Bruno Escoffier, Olivier Spanjaard, Magdaléna Tydrichová	Measuring Nearly Single-Peakedness of an Electorate: Some New Insights.	ADT	2021	DBLP DOI BibTeX RDF
42	Dorothea Baumeister, Linus Boes, Johanna Hillebrand	Complexity of Manipulative Interference in Participatory Budgeting.	ADT	2021	DBLP DOI BibTeX RDF
42	Xudong Liu, Miroslaw Truszczynski	Probabilistic Lexicographic Preference Trees.	ADT	2021	DBLP DOI BibTeX RDF
42	Ben Abramowitz, Ehud Shapiro, Nimrod Talmon	In the Beginning There Were n Agents: Founding and Amending a Constitution.	ADT	2021	DBLP DOI BibTeX RDF
42	Taiki Todo, Ryoji Wada, Kentaro Yahiro, Makoto Yokoo	Lazy Gale-Shapley for Many-to-One Matching with Partial Information.	ADT	2021	DBLP DOI BibTeX RDF
42	Haris Aziz 0001, Alexander Lam	Obvious Manipulability of Voting Rules.	ADT	2021	DBLP DOI BibTeX RDF
42	Abu Mohammad Hammad Ali, Howard J. Hamilton, Elizabeth Rayner, Boting Yang, Sandra Zilles	Aggregating Preferences Represented by Conditional Preference Networks.	ADT	2021	DBLP DOI BibTeX RDF
42	Yongjie Yang 0001	The Nonmanipulative Vote-Deficits of Voting Rules.	ADT	2021	DBLP DOI BibTeX RDF
42	Haris Aziz 0001, Aditya Ganguly	Participatory Funding Coordination: Model, Axioms and Rules.	ADT	2021	DBLP DOI BibTeX RDF
42	Andreas Darmann	Hedonic Diversity Games Revisited.	ADT	2021	DBLP DOI BibTeX RDF
42	Paul Alain Kaldjob Kaldjob, Brice Mayag, Denis Bouyssou	Necessary and Possible Interaction in a 2-Maxitive Sugeno Integral Model.	ADT	2021	DBLP DOI BibTeX RDF
42	Ruben Becker, Gianlorenzo D'Angelo, Esmaeil Delfaraz, Hugo Gilbert	Unveiling the Truth in Liquid Democracy with Misinformed Voters.	ADT	2021	DBLP DOI BibTeX RDF
42	Joanna Kaczmarek 0001, Jörg Rothe	Manipulation in Communication Structures of Graph-Restricted Weighted Voting Games.	ADT	2021	DBLP DOI BibTeX RDF
42	Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski	On Fairness via Picking Sequences in Allocation of Indivisible Goods.	ADT	2021	DBLP DOI BibTeX RDF
42	Nina Chiarelli, Clément Dallard, Andreas Darmann, Stefan Lendl, Martin Milanic, Peter Mursic, Nevena Pivac, Ulrich Pferschy	Allocating Indivisible Items with Minimum Dissatisfaction on Preference Graphs.	ADT	2021	DBLP DOI BibTeX RDF
42	Nawal Benabbou, Cassandre Leroy, Thibaut Lust, Patrice Perny	Interactive Optimization of Submodular Functions Under Matroid Constraints.	ADT	2021	DBLP DOI BibTeX RDF
42	Hugo Martin 0002, Patrice Perny	Incremental Preference Elicitation with Bipolar Choquet Integrals.	ADT	2021	DBLP DOI BibTeX RDF
42	Sasa Pekec, Kristen Brent Venable (eds.)	Algorithmic Decision Theory - 6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019, Proceedings	ADT	2019	DBLP DOI BibTeX RDF
42	Benno Kuckuck, Jörg Rothe, Anke Weißenfeld	Refugee Allocation in the Setting of Hedonic Games.	ADT	2019	DBLP DOI BibTeX RDF
42	Roi Naveiro, David Ríos Insua	Gradient Methods for Solving Stackelberg Games.	ADT	2019	DBLP DOI BibTeX RDF
42	Rica Gonen, Anat Lerner	Towards Characterizing the Deterministic Combinatorial Constrained Efficient Space.	ADT	2019	DBLP DOI BibTeX RDF
42	Ons Nefla, Meltem Öztürk, Paolo Viappiani, Imène Brigui-Chtioui	Interactive Elicitation of a Majority Rule Sorting Model with Maximum Margin Optimization.	ADT	2019	DBLP DOI BibTeX RDF
42	Arwa Khannoussi, Alexandru-Liviu Olteanu, Christophe Labreuche, Pritesh Narayan, Catherine Dezan, Jean-Philippe Diguet, Jacques Petit-Frère, Patrick Meyer	Integrating Operators' Preferences into Decisions of Unmanned Aerial Vehicles: Multi-layer Decision Engine and Incremental Preference Elicitation.	ADT	2019	DBLP DOI BibTeX RDF
42	Xudong Liu, Miroslaw Truszczynski	New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules.	ADT	2019	DBLP DOI BibTeX RDF
42	Grzegorz Gawron, Piotr Faliszewski	Robustness of Approval-Based Multiwinner Voting Rules.	ADT	2019	DBLP DOI BibTeX RDF
42	Nawal Benabbou, Cassandre Leroy, Thibaut Lust, Patrice Perny	Combining Local Search and Elicitation for Multi-Objective Combinatorial Optimization.	ADT	2019	DBLP DOI BibTeX RDF
42	Pascal Lange, Jörg Rothe	Optimizing Social Welfare in Social Networks.	ADT	2019	DBLP DOI BibTeX RDF
42	Neeldhara Misra	On the Parameterized Complexity of Party Nominations.	ADT	2019	DBLP DOI BibTeX RDF
42	Jörg Rothe (eds.)	Algorithmic Decision Theory - 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings	ADT	2017	DBLP DOI BibTeX RDF
42	Haris Aziz 0001, Paul Goldberg 0001, Toby Walsh	Equilibria in Sequential Allocation.	ADT	2017	DBLP DOI BibTeX RDF
42	Lisa Rey	Distances in Voting and Committee Election Rules for General Preference Types.	ADT	2017	DBLP DOI BibTeX RDF
42	Stefano Moretti 0001, Meltem Öztürk	Some Axiomatic and Algorithmic Perspectives on the Social Ranking Problem.	ADT	2017	DBLP DOI BibTeX RDF
42	Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable	Compact Preference Representation via Fuzzy Constraints in Stable Matching Problems.	ADT	2017	DBLP DOI BibTeX RDF
42	Nadjet Bourdache, Patrice Perny	Anytime Algorithms for Adaptive Robust Optimization with OWA and WOWA.	ADT	2017	DBLP DOI BibTeX RDF
42	Margot Calbrix	Incremental Preference Elicitation for Collective Decision Making.	ADT	2017	DBLP DOI BibTeX RDF
42	Adrian Haret	Logic-Based Merging in Fragments of Classical Logic with Inputs from Social Choice Theory.	ADT	2017	DBLP DOI BibTeX RDF
42	Neeldhara Misra, Chinmay Sonar, P. R. Vaidyanathan	On the Complexity of Chamberlin-Courant on Almost Structured Profiles.	ADT	2017	DBLP DOI BibTeX RDF
42	Dmitrii Lozovanu, Stefan Pickl	Determining Nash Equilibria for Stochastic Positional Games with Discounted Payoffs.	ADT	2017	DBLP DOI BibTeX RDF
42	Mustapha Ridaoui, Michel Grabisch, Christophe Labreuche	An Alternative View of Importance Indices for Multichoice Games.	ADT	2017	DBLP DOI BibTeX RDF
42	Astrid Pieterse, Gerhard J. Woeginger	The Subset Sum Game Revisited.	ADT	2017	DBLP DOI BibTeX RDF
42	Gábor Erdélyi, Christian Reger, Yongjie Yang 0001	Complexity of Group Identification with Partial Information.	ADT	2017	DBLP DOI BibTeX RDF
42	Alexandru-Liviu Olteanu, Patrick Meyer, Ann Barcomb, Nicolas Jullien	Towards a Protocol for Inferring Preferences Using Majority-rule Sorting Models.	ADT	2017	DBLP DOI BibTeX RDF
42	Katarína Cechlárová, Tamás Fleiner, Ildikó Schlotter	Possible and Necessary Allocations Under Serial Dictatorship with Incomplete Preference Lists.	ADT	2017	DBLP DOI BibTeX RDF
42	Dominik Peters	Precise Complexity of the Core in Dichotomous and Additive Hedonic Games.	ADT	2017	DBLP DOI BibTeX RDF
42	Ayumi Igarashi 0001, Diederik M. Roijers	Multi-criteria Coalition Formation Games.	ADT	2017	DBLP DOI BibTeX RDF
42	Zachary J. Oster	Efficient Satisfiability Verification for Conditional Importance Networks.	ADT	2017	DBLP DOI BibTeX RDF
42	Robert Bredereck, Jiehua Chen 0001, Ugo Paavo Finnendahl, Rolf Niedermeier	Stable Roommate with Narcissistic, Single-Peaked, and Single-Crossing Preferences.	ADT	2017	DBLP DOI BibTeX RDF
42	Stéphane Airiau, Umberto Grandi, Filipo Studzinski Perotto	Learning Agents for Iterative Voting.	ADT	2017	DBLP DOI BibTeX RDF
42	Andreas Darmann, Janosch Döcker, Britta Dorn, Jérôme Lang, Sebastian Schneckenburger	On Simplified Group Activity Selection.	ADT	2017	DBLP DOI BibTeX RDF
42	Britta Dorn, Ronald de Haan, Ildikó Schlotter	Obtaining a Proportional Allocation by Deleting Items.	ADT	2017	DBLP DOI BibTeX RDF
42	Hugo Gilbert	Fair Proportional Representation Problems with Mixture Operators.	ADT	2017	DBLP DOI BibTeX RDF
42	Lucie Galand, Brice Mayag	A Heuristic Approach to Test the Compatibility of a Preference Information with a Choquet Integral Model.	ADT	2017	DBLP DOI BibTeX RDF
42	Pierre Bisquert, Madalina Croitoru, Nikos Karanikolas	A Qualitative Decision-Making Approach Overlapping Argumentation and Social Choice.	ADT	2017	DBLP DOI BibTeX RDF
42	Wilfried Joseph Ehounou, Dominique Barth, Arnaud De Moissac	Discovery of Energy Network Topology from Uncertain Flow Measurements.	ADT	2017	DBLP DOI BibTeX RDF
42	Cory Siler, Luke Harold Miles, Judy Goldsmith	The Complexity of Campaigning.	ADT	2017	DBLP DOI BibTeX RDF
42	Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn	Higher-Order Decision Theory.	ADT	2017	DBLP DOI BibTeX RDF
42	Diederik M. Roijers, Luisa M. Zintgraf, Ann Nowé	Interactive Thompson Sampling for Multi-objective Multi-armed Bandits.	ADT	2017	DBLP DOI BibTeX RDF
42	Stefano Teso, Andrea Passerini, Paolo Viappiani	Constructive Preference Elicitation for Multiple Users with Setwise Max-margin.	ADT	2017	DBLP DOI BibTeX RDF
42	Paul B. Kantor	Measuring Border Security for Resource Allocation.	ADT	2017	DBLP DOI BibTeX RDF
42	Tom Denat, Meltem Öztürk	Dominance Based Monte Carlo Algorithm for Preference Elicitation in the Multi-criteria Sorting Problem: Some Performance Tests.	ADT	2017	DBLP DOI BibTeX RDF
42	Toby Walsh (eds.)	Algorithmic Decision Theory - 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings	ADT	2015	DBLP DOI BibTeX RDF
42	Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe	Verification in Attack-Incomplete Argumentation Frameworks.	ADT	2015	DBLP DOI BibTeX RDF
42	Daniel S. Brown, Steven Loscalzo, Nathaniel Gemelli	k-Agent Sufficiency for Multiagent Stochastic Physical Search Problems.	ADT	2015	DBLP DOI BibTeX RDF
42	Xin Sui, Craig Boutilier	Optimal Group Manipulation in Facility Location Problems.	ADT	2015	DBLP DOI BibTeX RDF
42	Erman Acar, Camilo Thorne, Heiner Stuckenschmidt	Towards Decision Making via Expressive Probabilistic Ontologies.	ADT	2015	DBLP DOI BibTeX RDF
42	Khaled M. Elbassioni, Trung Thanh Nguyen 0004	Approximation Schemes for Multi-objective Optimization with Quadratic Constraints of Fixed CP-Rank.	ADT	2015	DBLP DOI BibTeX RDF
42	Dorothea Baumeister, Jörg Rothe, Ann-Kathrin Selker	Complexity of Bribery and Control for Uniform Premise-Based Quota Rules Under Various Preference Types.	ADT	2015	DBLP DOI BibTeX RDF
42	Wenyi Fang, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen, Pingzhong Tang, Song Zuo	Randomized Assignments for Barter Exchanges: Fairness vs. Efficiency.	ADT	2015	DBLP DOI BibTeX RDF
42	Xudong Liu	Modeling, Learning and Reasoning with Qualitative Preferences.	ADT	2015	DBLP DOI BibTeX RDF
42	Xudong Liu, Miroslaw Truszczynski	Reasoning with Preference Trees over Combinatorial Domains.	ADT	2015	DBLP DOI BibTeX RDF