Search results for "impossibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Gio Wiederhold	The Impossibility of Global Consistency.	OMICS	2003	DBLP DOI BibTeX RDF
16	Zhanyi Hu, Fuchao Wu, Guanghui Wang 0001	The impossibility of affine reconstruction from perspective image pairs obtained by a translating camera with varying parameters.	Pattern Recognit. Lett.	2003	DBLP DOI BibTeX RDF
16	Ueli Maurer, Renato Renner, Clemens Holenstein	Indifferentiability, Impossibility Results on Reductions, and Applications to the Random Oracle Methodology.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
16	Elchanan Mossel	On the Impossibility of Reconstructing Ancestral Data and Phylogenies.	J. Comput. Biol.	2003	DBLP DOI BibTeX RDF
16	Bo Brinkman, Moses Charikar	On the Impossibility of Dimension Reduction in l1.	FOCS	2003	DBLP DOI BibTeX RDF
16	Yehuda Lindell	Brief announcement: impossibility results for concurrent secure two-party computation.	PODC	2003	DBLP DOI BibTeX RDF
16	Miki Kato, Shinji Ohseto	Toward general impossibility theorems in pure exchange economies.	Soc. Choice Welf.	2002	DBLP DOI BibTeX RDF
16	Mikel Larrea, Antonio Fernández 0001, Sergio Arévalo	On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems.	PDP	2002	DBLP DOI BibTeX RDF	uniform reliable broadcast, perpetual accuracy, consensus, failure detectors, crash failures, partial synchrony
16	David Kempe 0001, Jon M. Kleinberg	Protocols and Impossibility Results for Gossip-Based Communication Mechanisms.	FOCS	2002	DBLP DOI BibTeX RDF
16	Jon M. Kleinberg	An Impossibility Theorem for Clustering.	NIPS	2002	DBLP BibTeX RDF
16	Marc Fischlin	On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function.	CT-RSA	2002	DBLP DOI BibTeX RDF
16	Valentino Dardanoni	A pedagogical proof of Arrow's Impossibility Theorem.	Soc. Choice Welf.	2001	DBLP DOI BibTeX RDF
16	Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
16	Yael Gertner, Tal Malkin, Omer Reingold	On the Impossibility of Basing Trapdoor Functions on Trapdoor Predicates.	FOCS	2001	DBLP DOI BibTeX RDF
16	Yevgeniy Dodis	Impossibility of Black-Box Reduction from Non-Adaptively to Adaptively Secure Coin-Flipping	Electron. Colloquium Comput. Complex.	2000	DBLP BibTeX RDF
16	David H. Wolpert	On the computational capabilities of physical systems part I: the impossibility of infallible computation	CoRR	2000	DBLP BibTeX RDF
16	John H. Reif	On the Impossibility of Interaction-Free Quantum Sensing for Small I/O Bandwidth.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
16	S. Ramesh 0001, Chandrashekar M. Shetty	Impossibility of Synchronization in the Presence of Preemption.	Parallel Process. Lett.	1998	DBLP DOI BibTeX RDF
16	Hoi Fung Chau, Hoi-Kwong Lo	Making An Empty Promise With A Quantum Computer (Or, A Brief Review on the Impossibility of Quantum Bit Commitment).	IACR Cryptol. ePrint Arch.	1998	DBLP BibTeX RDF
16	Maurice Pouzet	A projection property and Arrow's impossibility theorem.	Discret. Math.	1998	DBLP DOI BibTeX RDF
16	Guohong Cao, Mukesh Singhal	On the Impossibility of Min-Process Non-Blocking Checkpointing and An Efficient Checkpointing Algorithm for Mobile Computing Systems.	ICPP	1998	DBLP DOI BibTeX RDF
16	Costas Busch, Marios Mavronicolas	Impossibility Results for Weak Threshold Networks.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
16	Joffroy Beauquier, Synnöve Kekkonen-Moneta	Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors.	Int. J. Syst. Sci.	1997	DBLP DOI BibTeX RDF
16	Rosaria Conte, Cristiano Castelfranchi, Roberto Pedone	The Impossibility of Modelling Cooperation in PD-Game.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF
16	Gadi Taubenfeld, Shlomo Moran	Possibility and Impossibility Results in a Shared Memory Environment.	Acta Informatica	1996	DBLP DOI BibTeX RDF
16	K. T. Arasu 0001, Alexander Pott	Impossibility of a Certain Cyclotomic Equation with Applications to Difference Sets.	Des. Codes Cryptogr.	1996	DBLP DOI BibTeX RDF
16	Pierre Hansen, Fred S. Roberts	An Impossibility Result in Axiomatic Location Theory.	Math. Oper. Res.	1996	DBLP DOI BibTeX RDF
16	Aleta Ricciardi	Impossibility of (Repeated) Reliable Broadcast (Abstract).	PODC	1996	DBLP DOI BibTeX RDF
16	Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg, Bernadette Charron-Bost	On the Impossibility of Group Membership.	PODC	1996	DBLP DOI BibTeX RDF
16	Jin-yi Cai, Suresh Chari	On the Impossibility of Amplifying the Independence of Random Variables.	Random Struct. Algorithms	1995	DBLP DOI BibTeX RDF
16	Uriel Feige, Joe Kilian	Impossibility results for recycling random bits in two-prover proof systems.	STOC	1995	DBLP DOI BibTeX RDF
16	Guozhu Dong, Leonid Libkin, Limsoon Wong	On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL.	DBPL	1995	DBLP BibTeX RDF
16	Gadi Taubenfeld, Shmuel Katz, Shlomo Moran	Impossibility Results in the Presence of Multiple Faulty Processes	Inf. Comput.	1994	DBLP DOI BibTeX RDF
16	Yih-Kuen Tsay, Rajive L. Bagrodia	Some Impossibility Results in Interprocess Synchronization.	Distributed Comput.	1993	DBLP DOI BibTeX RDF
16	Alan D. Fekete, Nancy A. Lynch, Yishay Mansour, John Spinelli	The Impossibility of Implementing Reliable Communication in the Face of Crashes.	J. ACM	1993	DBLP DOI BibTeX RDF	connection reset, lower bounds
16	Herbert J. Carlin, Pier Paolo Civalleri	On darlington's realization of matrix-valued non-rational functions and the impossibility of selective flat gain.	Int. J. Circuit Theory Appl.	1993	DBLP DOI BibTeX RDF
16	Elizabeth Borowsky, Eli Gafni	Generalized FLP impossibility result for t-resilient asynchronous computations.	STOC	1993	DBLP DOI BibTeX RDF
16	Keith Rapley	A Plausible Impossibility: Supporting Top Executives with Information Systems.	Human, Organizational, and Social Dimensions of Information Systems Development	1993	DBLP BibTeX RDF
16	Oliver Schoett	Two Impossibility Theorems on Behaviour Specification of Abstract Data Types.	Acta Informatica	1992	DBLP DOI BibTeX RDF
16	Prasad Jayanti, Sam Toueg	Some Results on the Impossibility, Universality, and Decidability of Consensus.	WDAG	1992	DBLP DOI BibTeX RDF
16	Larry Wos	The Impossibility of the Automation of Logical Reasoning.	CADE	1992	DBLP DOI BibTeX RDF
16	Maurice Herlihy	Impossibility Results for Asynchronous PRAM (Extended Abstract).	SPAA	1991	DBLP DOI BibTeX RDF
16	D. C. Handscomb	Impossibility of a Conic Through Six Points.	SIAM Rev.	1990	DBLP DOI BibTeX RDF
16	David Makinson	The Gärdenfors impossibility theorem in non-monotonic contexts.	Stud Logica	1990	DBLP DOI BibTeX RDF
16	Dorit S. Hochbaum	On the Impossibility of Strongly Polynomial Algorithms for the Allocation Problem and its Extensions.	IPCO	1990	DBLP BibTeX RDF
16	Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl	Physical Impossibility Instead of Fault Models.	AAAI	1990	DBLP BibTeX RDF
16	Alan D. Fekete, Nancy A. Lynch	The Need for Headers: An Impossibility Result for Communication over Unreliable Channels.	CONCUR	1990	DBLP DOI BibTeX RDF
16	James L. McInnes, Benny Pinkas	On the Impossibility of Private Key Cryptography with Weakly Random Keys.	CRYPTO	1990	DBLP DOI BibTeX RDF
16	Dominique de Caen, D. G. Hoffman	Impossibility of Decomposing the Complete Graph on n Points into n-1 Isomorphic Complete Bipartite Graphs.	SIAM J. Discret. Math.	1989	DBLP DOI BibTeX RDF
16	Gadi Taubenfeld, Shlomo Moran	Possibility and Impossibility Results in a Shared Memory Environment.	WDAG	1989	DBLP DOI BibTeX RDF
16	Yuliang Zheng 0001, Tsutomu Matsumoto, Hideki Imai	Impossibility and Optimality Results on Constructing Pseudorandom Permutations (Extended Abstract).	EUROCRYPT	1989	DBLP DOI BibTeX RDF
16	Nancy A. Lynch	A Hundred Impossibility Proofs for Distributed Computing.	PODC	1989	DBLP DOI BibTeX RDF
16	F. W. Gorgy	On the Impossibility of Transformation of All True Formulas Of Markov's Language L1 into True Formulas of His Language ℝ.	Math. Log. Q.	1988	DBLP DOI BibTeX RDF
16	Robert J. MacG. Dawson	On the impossibility of packing space with different cubes.	J. Comb. Theory, Ser. A	1988	DBLP DOI BibTeX RDF
16	Nancy A. Lynch, Yishay Mansour, Alan D. Fekete	Data Link Layer: Two Impossibility Results.	PODC	1988	DBLP DOI BibTeX RDF
16	Maurice Herlihy	Impossibility and Universality Results for Wait-Free Synchronization.	PODC	1988	DBLP DOI BibTeX RDF
16	Shlomo Moran, Yaron Wolfstahl	Extended Impossibility Results for Asynchronous Complete Networks.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
16	Douglas R. Woodall	An impossibility theorem for electoral systems.	Discret. Math.	1987	DBLP DOI BibTeX RDF
16	Michael J. Fischer, Nancy A. Lynch, Michael Merritt	Easy Impossibility Proofs for Distributed Consensus Problems.	Distributed Comput.	1986	DBLP DOI BibTeX RDF
16	Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda	On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages.	Theor. Comput. Sci.	1986	DBLP DOI BibTeX RDF
16	Danny Dolev, Joseph Y. Halpern, H. Raymond Strong	On the Possibility and Impossibility of Achieving Clock Synchronization.	J. Comput. Syst. Sci.	1986	DBLP DOI BibTeX RDF
16	Andre Scedrov	On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis.	Ann. Pure Appl. Log.	1986	DBLP DOI BibTeX RDF
16	Marek Karpinski, Rutger Verbeek	On the Power of Two-Way Random Generators and the Impossibility of Deterministic Poly-Space Simulation	Inf. Control.	1986	DBLP DOI BibTeX RDF
16	Michael J. Fischer, Nancy A. Lynch, Mike Paterson	Impossibility of Distributed Consensus with One Faulty Process	J. ACM	1985	DBLP DOI BibTeX RDF
16	Michael J. Fischer, Nancy A. Lynch, Michael Merritt	Easy Impossibility Proofs for Distributed Consensus Problems.	PODC	1985	DBLP DOI BibTeX RDF
16	Danny Dolev, Joseph Y. Halpern, H. Raymond Strong	On the Possibility and Impossibility of Achieving Clock Synchronization	STOC	1984	DBLP DOI BibTeX RDF
16	Michael J. Fischer, Nancy A. Lynch, Mike Paterson	Impossibility of Distributed Consensus with One Faulty Process.	PODS	1983	DBLP DOI BibTeX RDF
16	William G. Bridges, Sam Toueg	On the impossibility of Directed Moore Graphs.	J. Comb. Theory, Ser. B	1980	DBLP DOI BibTeX RDF
16	Richard Routley	Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
16	Arthur C. Fleck	On the impossibility of content exchange through the by-name parameter transmission mechanism.	ACM SIGPLAN Notices	1976	DBLP DOI BibTeX RDF
16	Ján Plesník	One method for proving the impossibility of certain Moore graphs.	Discret. Math.	1974	DBLP DOI BibTeX RDF
16	Alistair H. Lachlan	The Impossibility of finding Relative Complements for Recursively Enumerable Degrees.	J. Symb. Log.	1966	DBLP DOI BibTeX RDF
10	Sven Seuken, Denis Xavier Charles, Max Chickering, Sidd Puri	Market design & analysis for a P2P backup system.	EC	2010	DBLP DOI BibTeX RDF	exchange market, online backup, p2p, market design
10	Shaddin Dughmi, Arpita Ghosh	Truthful assignment without money.	EC	2010	DBLP DOI BibTeX RDF	truthfulness without money, mechanism design
10	Eric A. Brewer	A certain freedom: thoughts on the CAP theorem.	PODC	2010	DBLP DOI BibTeX RDF	cap theorem
10	Shiva Prasad Kasiviswanathan, Mark Rudelson, Adam D. Smith, Jonathan R. Ullman	The price of privately releasing contingency tables and the spectra of random matrices with correlated rows.	STOC	2010	DBLP DOI BibTeX RDF	reconstruction attacks, data privacy, differential privacy, random matrices
10	Elizabeth Barnes	Indeterminacy, identity and counterparts: Evans reconsidered.	Synth.	2009	DBLP DOI BibTeX RDF	Vague identity, Ontic vagueness, Counterpart theory, Indeterminacy
10	François Bonnet 0001, Michel Raynal	Conditions for Set Agreement with an Application to Synchronous Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	lower bound, efficiency, condition, synchronous system, agreement problem
10	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
10	Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Corentin Travers	Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.	ISAAC	2009	DBLP DOI BibTeX RDF
10	Claude Castelluccia, Aurélien Francillon, Daniele Perito, Claudio Soriente	On the difficulty of software-based attestation of embedded devices.	CCS	2009	DBLP DOI BibTeX RDF	indisputable code execution, return-oriented programming, software-based attestation, swatt, wireless sensor networks, embedded systems, code compression
10	Amir M. Ben-Amram	Size-Change Termination, Monotonicity Constraints and Ranking Functions.	CAV	2009	DBLP DOI BibTeX RDF
10	François Bonnet 0001, Michel Raynal	Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road?	SSS	2009	DBLP DOI BibTeX RDF
10	Yury Lifshits, Shengyu Zhang 0002	Combinatorial algorithms for nearest neighbors, near-duplicates and small-world design.	SODA	2009	DBLP DOI BibTeX RDF
10	Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla	GTVS: Boosting the Collection of Application Traffic Ground Truth.	TMA	2009	DBLP DOI BibTeX RDF
10	Thomas Meinl, Benjamin Blau	Web service derivatives.	WWW	2009	DBLP DOI BibTeX RDF	incomplete markets, web services, wavelets, derivatives, services mashups
10	Jurek Czyzowicz, Arnaud Labourel, Andrzej Pelc	Optimality and Competitiveness of Exploring Polygons by Mobile Robots.	ESA	2009	DBLP DOI BibTeX RDF
10	Daniel Leivant	On the Completeness of Dynamic Logic.	FoSSaCS	2009	DBLP DOI BibTeX RDF	inductive completeness, relative completeness, arithmetical completeness, Dynamic logic
10	Fangzhen Lin	Two Applications of Computer-Aided Theorem Discovery and Verification.	KSEM	2009	DBLP DOI BibTeX RDF
10	Gaëtan Mourmant	A necessary clarification of the unfolding model of voluntary turnover.	CPR	2009	DBLP DOI BibTeX RDF	job turnover, unfolding model of job turnover, classification
10	Juan Carlos García, Stefan Beyer, Pablo Galdámez	A Stability Criteria Membership Protocol for Ad Hoc Networks.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF	stability criteria, distributed systems, ad hoc networks, consensus, group membership
10	M. Julia Flores, José A. Gámez 0001, Ana M. Martínez, José Miguel Puerta	HODE: Hidden One-Dependence Estimator.	ECSQARU	2009	DBLP DOI BibTeX RDF	AODE, SPODE, Classification, Bayesian Networks, Bayesian Classifiers, ODE
10	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Brief Announcement: Decidable Graph Languages by Mediated Population Protocols.	DISC	2009	DBLP DOI BibTeX RDF
10	Achour Mostéfaoui	What Agreement Problems Owe Michel.	DISC	2009	DBLP DOI BibTeX RDF
10	Jean-Michel Hélary	Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!	DISC	2009	DBLP DOI BibTeX RDF
10	Louis Salvail, Christian Schaffner, Miroslava Sotáková	On the Power of Two-Party Quantum Cryptography.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	two-party primitives, quantum protocols, oblivious transfer, quantum information theory
10	Andrew Baumann, Paul Barham 0001, Pierre-Évariste Dagand, Tim Harris 0001, Rebecca Isaacs, Simon Peter 0001, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania	The multikernel: a new OS architecture for scalable multicore systems.	SOSP	2009	DBLP DOI BibTeX RDF	scalability, message passing, multicore processors
10	Paolo Penna, Carmine Ventre	Optimal collusion-resistant mechanisms with verification.	EC	2009	DBLP DOI BibTeX RDF	transferable utilities, algorithmic mechanism design, collusion
10	Kai-Yuen Cheong, Takeshi Koshiba, Shohei Nishiyama	Strengthening the Security of Distributed Oblivious Transfer.	ACISP	2009	DBLP DOI BibTeX RDF	oblivious transfer, information theoretic security, secret sharing scheme
10	Eike Kiltz, Krzysztof Pietrzak	On the Security of Padding-Based Encryption Schemes - or - Why We Cannot Prove OAEP Secure in the Standard Model.	EUROCRYPT	2009	DBLP DOI BibTeX RDF	Padding-based encryption, ideal trapdoor permutations, black-box, OAEP