Search results for "Counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Thomas A. Sudkamp	Examples, counterexamples, and measuring fuzzy associations.	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
17	K. Rustan M. Leino, Todd D. Millstein, James B. Saxe	Generating error traces from verification-condition counterexamples.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
17	Guilherme Carmona	On the existence of equilibria in discontinuous games: three counterexamples.	Int. J. Game Theory	2005	DBLP DOI BibTeX RDF
17	Jian Zhang 0001	Computer Search for Counterexamples to Wilkie's Identity.	CADE	2005	DBLP DOI BibTeX RDF
17	Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore	Enhancing Test Coverage by Back-tracing Model-checker Counterexamples.	TACoS	2004	DBLP DOI BibTeX RDF
17	Alex Groce, Daniel Kroening	Making the Most of BMC Counterexamples.	BMC@CAV	2004	DBLP DOI BibTeX RDF
17	Franziska Berger, Christoph Flamm, Petra M. Gleiss, Josef Leydold, Peter F. Stadler	Counterexamples in Chemical Ring Perception.	J. Chem. Inf. Model.	2004	DBLP DOI BibTeX RDF
17	Xiaolan Xie, Alessandro Giua	Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods".	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
17	Birgit Jacob, Hans Zwart	Counterexamples Concerning Observation Operators for C0-Semigroups.	SIAM J. Control. Optim.	2004	DBLP DOI BibTeX RDF
17	Petr Hlinený, Robin Thomas 0001	On possible counterexamples to Negami's planar cover conjecture.	J. Graph Theory	2004	DBLP DOI BibTeX RDF
17	Paul Gastin, Pierre Moro, Marc Zeitoun	Minimization of Counterexamples in SPIN.	SPIN	2004	DBLP DOI BibTeX RDF
17	Rolf Drechsler, Wolfgang Günther 0001, Burkhard Stubert	Efficient (Non-)Reachability Analysis of Counterexamples.	MBMV	2004	DBLP BibTeX RDF
17	Sagar Chaki, Alex Groce, Ofer Strichman	Explaining abstract counterexamples.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	model checking, fault localization, predicate abstraction
17	Dirk Beyer 0001, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Generating Tests from Counterexamples.	ICSE	2004	DBLP DOI BibTeX RDF
17	Jian Yu, Hongbo Shi, Houkuan Huang, Xichen Sun, QianSheng Cheng	Counterexamples to convergence theorem of maximum-entropy clustering algorithm.	Sci. China Ser. F Inf. Sci.	2003	DBLP DOI BibTeX RDF
17	Isaac Levi	Counterexamples to Recovery and the Filtering Condition.	Stud Logica	2003	DBLP DOI BibTeX RDF
17	Huo-Jun Ruan, Zhen Sha, Wei-Yi Su	Counterexamples in parameter identification problem of the fractal interpolation functions.	J. Approx. Theory	2003	DBLP DOI BibTeX RDF
17	Richard H. Middleton, Katrina Lau, Julio H. Braslavsky	Conjectures and counterexamples on optimal L2 disturbance attenuation in nonlinear systems.	CDC	2003	DBLP DOI BibTeX RDF
17	Rakesh M. Verma, Sarah Hwang	On the Structure of Counterexamples to Symmetric Orderings for BDD's.	CATS	2002	DBLP DOI BibTeX RDF
17	Takashi Yokomori	Corrigendum Learning Two-Type Automata from Queries and Counterexamples.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
17	Sangho Shim, Jozef Sirán, Janez Zerovnik	Counterexamples to the uniform shortest path routing conjecture for vertex-transitive graphs.	Discret. Appl. Math.	2002	DBLP DOI BibTeX RDF
17	Zu Nian Li, Zhen Zhen Feng	Counterexamples against some families of chromatically unique graphs.	Discret. Math.	2002	DBLP DOI BibTeX RDF
17	Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone	On ACTL Formulas Having Linear Counterexamples.	J. Comput. Syst. Sci.	2001	DBLP DOI BibTeX RDF
17	Irena Rusu, Jeremy P. Spinrad	Domination graphs: examples and counterexamples.	Discret. Appl. Math.	2001	DBLP DOI BibTeX RDF
17	Andreas Birkendorf, Andreas Böker, Hans Ulrich Simon	Learning Deterministic Finite Automata from Smallest Counterexamples.	SIAM J. Discret. Math.	2000	DBLP DOI BibTeX RDF
17	Jean-Marie Le Bars	Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview.	Bull. Symb. Log.	2000	DBLP DOI BibTeX RDF
17	Erik D. Demaine, Martin L. Demaine, Anna Lubiw, Joseph O'Rourke	Examples, Counterexamples, and Enumeration Results for Foldings and Unfoldings between Polygons and Polytopes	CoRR	2000	DBLP BibTeX RDF
17	Hanif D. Sherali, Jonathan Cole Smith, Warren P. Adams	Reduced first-level representations via the reformulation-linearization technique: results, counterexamples, and computations.	Discret. Appl. Math.	2000	DBLP DOI BibTeX RDF
17	Richard Rebarber, Stuart Townley	Robustness of closed-loop stability for infinite dimensional systems under sample and hold-counterexamples.	CDC	2000	DBLP DOI BibTeX RDF
17	Takeshi Koshiba, Kunihiko Hiraishi	A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples.	Words, Languages & Combinatorics	2000	DBLP BibTeX RDF
17	Eckhard Steffen	Counterexamples to a conjecture about Petersen-minors in supersnarks.	Discret. Math.	1999	DBLP DOI BibTeX RDF
17	Romeo Rizzi	Indecomposable r-graphs and some other counterexamples.	J. Graph Theory	1999	DBLP DOI BibTeX RDF
17	William McCune	Automatic Proofs and Counterexamples for Some Ortholattice Identities.	Inf. Process. Lett.	1998	DBLP DOI BibTeX RDF
17	Gregory S. Yovanof, Solomon W. Golomb	The Polynomial Model in the Study of Counterexamples to S. Piccard's Theorem.	Ars Comb.	1998	DBLP BibTeX RDF
17	Tien-Yien Li, Xiaoshen Wang	Counterexamples to the Connectivity Conjecture of the Mixed Cells.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
17	Fred B. Holt, Victor Klee	Counterexamples to the Strong d -Step Conjecture for d ge 5.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
17	Andreas Birkendorf, Andreas Böker, Hans Ulrich Simon	Learning Deterministic Finite Automata from Smallest Counterexamples.	SODA	1998	DBLP DOI BibTeX RDF
17	Thomas R. Amoth, Paul Cull, Prasad Tadepalli	Exact Learning of Tree Patterns from Queries and Counterexamples.	COLT	1998	DBLP DOI BibTeX RDF
17	Levent V. Orman	Relational Database Constraints as Counterexamples.	Acta Informatica	1997	DBLP DOI BibTeX RDF
17	George Boolos	Constructing Cantorian counterexamples.	J. Philos. Log.	1997	DBLP DOI BibTeX RDF
17	Irena Rusu	Building counterexamples.	Discret. Math.	1997	DBLP DOI BibTeX RDF
17	Robert E. Schapire, Linda Sellie	Learning Sparse Multivariate Polynomials over a Field with Queries and Counterexamples.	J. Comput. Syst. Sci.	1996	DBLP DOI BibTeX RDF
17	Takashi Yokomori	Learning Two-Tape Automata from Queries and Counterexamples.	Math. Syst. Theory	1996	DBLP DOI BibTeX RDF
17	Augustus J. E. M. Janssen	Some counterexamples in the theory of Weyl-Heisenberg frames.	IEEE Trans. Inf. Theory	1996	DBLP DOI BibTeX RDF
17	Kah-Chye Tan, Eng-Chye Tan, Say Song Goh	Counterexamples to a conjecture for characterizing higher rank ambiguities.	IEEE Trans. Signal Process.	1996	DBLP DOI BibTeX RDF
17	Levent V. Orman	Queries = Examples + Counterexamples.	Inf. Syst.	1996	DBLP DOI BibTeX RDF
17	Eckhard Steffen	Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs.	Discret. Math.	1996	DBLP DOI BibTeX RDF
17	Alden H. Wright, Garrett Bidwell	A Search for Counterexamples to Two Conjectures on the Simple Genetic Algorithm.	FOGA	1996	DBLP BibTeX RDF
17	Douglas R. Stinson, James L. Massey	An Infinite Class of Counterexamples to a Conjecture Concerning Nonlinear Resilient Functions.	J. Cryptol.	1995	DBLP DOI BibTeX RDF
17	Matthew Foreman 0001, Menachem Magidor	Large Cardinals and Definable Counterexamples to the Continuum Hypothesis.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
17	Tony L. Brewster, Michael J. Dinneen, Vance Faber	A computational attack on the conjectures of Graffiti: New counterexamples and proofs.	Discret. Math.	1995	DBLP DOI BibTeX RDF
17	András A. Benczúr	Counterexamples for Directed and Node Capacitated Cut-Trees.	SIAM J. Comput.	1995	DBLP DOI BibTeX RDF
17	Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao 0005	Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking.	DAC	1995	DBLP DOI BibTeX RDF
17	Francesco Bergadano, S. Varrichio	Learning behaviors of automata from shortest counterexamples.	EuroCOLT	1995	DBLP DOI BibTeX RDF
17	Howard Becker	The Topological Vaught's Conjecture and Minimal Counterexamples.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
17	G. Neelakantan Kartha	Two Counterexamples Related to Baker's Approach to the Frame Problem.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
17	James Lipton, Michael J. O'Donnell	Intuitive Counterexamples for Constructive Fallacies.	MFCS	1994	DBLP DOI BibTeX RDF
17	Stefan Hougardy	Counterexamples to three conjectures concerning perfect graphs.	Discret. Math.	1993	DBLP DOI BibTeX RDF
17	Takashi Yokomori	Learning Two-Tape Automata from Queries and Counterexamples.	COLT	1993	DBLP DOI BibTeX RDF
17	Robert E. Schapire, Linda Sellie	Learning Sparse Multivariate Polynomials over a Field with Queries and Counterexamples.	COLT	1993	DBLP DOI BibTeX RDF
17	Ward Whitt	Counterexamples for comparisons of queues with finite waiting rooms.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	finite waiting rooms, throughput, monotonicity, Stochastic comparisons
17	Andreas Huck, Haruko Okamura	Counterexamples to a conjecture of mader about cycles through specified vertices inn-edge-connected graphs.	Graphs Comb.	1992	DBLP DOI BibTeX RDF
17	Augustus J. E. M. Janssen	The Zak transform and some counterexamples in time-frequency analysis.	IEEE Trans. Inf. Theory	1992	DBLP DOI BibTeX RDF
17	Moula Cherikh, Paul B. Kantor	Counterexamples in distributed detection.	IEEE Trans. Inf. Theory	1992	DBLP DOI BibTeX RDF
17	Jitendra K. Tugnait, Georgios B. Giannakis, Ananthram Swami	Counterexamples to 'On estimating noncausal nonminimum phase ARMA models of non-Gaussian processes' [and reply].	IEEE Trans. Signal Process.	1992	DBLP DOI BibTeX RDF
17	C. Ward Henson	Strong counterexamples to Borel hyperdeterminacy.	Arch. Math. Log.	1992	DBLP DOI BibTeX RDF
17	Aart Middeldorp, Erik Hamoen	Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract).	ALP	1992	DBLP DOI BibTeX RDF
17	Takashi Yokomori	Learning non-deterministic finite automata from queries and counterexamples.	Machine Intelligence 13	1992	DBLP BibTeX RDF
17	Yasubumi Sakakibara	On Learning from Queries and Counterexamples in the Presence of Noise.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
17	Oscar H. Ibarra, Tao Jiang 0001	Learning Regular Languages from Counterexamples.	J. Comput. Syst. Sci.	1991	DBLP DOI BibTeX RDF
17	Bruce A. Reed	Counterexamples to a conjecture of Las Vergnas and Meyniel.	Graph Structure Theory	1991	DBLP BibTeX RDF
17	David M. Evans 0001, P. R. Hewitt	Counterexamples to a Conjecture on Relative Categoricity.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
17	Emmanuel Kounalis	Learning from examples and counterexamples with equational background knowledge.	TAI	1990	DBLP DOI BibTeX RDF
17	Wolfgang Maass 0001, György Turán	On the Complexity of Learning from Counterexamples and Membership Queries (abstract).	COLT	1990	DBLP BibTeX RDF
17	Hong Fan, Majid Mayeri	On error surfaces of sufficient order adaptive IIR filters: proofs and counterexamples to a unimodality conjecture.	IEEE Trans. Acoust. Speech Signal Process.	1989	DBLP DOI BibTeX RDF
17	Wolfgang Maass 0001, György Turán	On the Complexity of Learning From Counterexamples (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	combinatorial invariants, complexity of learning, d-dimensional discrete space, lower bound, upper bound, finite domain
17	Barbara G. Ryder, Thomas J. Marlowe, Marvin C. Paull	Conditions for incremental iteration: Examples and counterexamples.	Sci. Comput. Program.	1988	DBLP DOI BibTeX RDF
17	Oscar H. Ibarra, Tao Jiang 0001	Learning Regular Languages From Counterexamples.	COLT	1988	DBLP BibTeX RDF
17	Yoshihito Toyama	Counterexamples to Termination for the Direct Sum of Term Rewriting Systems.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
17	R. Chandrasekaran, Jong-Shi Pang, Richard E. Stone	Two counterexamples on the polynomial solvability of the linear complementarity problem.	Math. Program.	1987	DBLP DOI BibTeX RDF
17	Mark E. Watkins, James B. Shearer	Counterexamples to two conjectures about distance sequences.	Discret. Math.	1987	DBLP DOI BibTeX RDF
17	Dana Angluin	Learning Regular Sets from Queries and Counterexamples	Inf. Comput.	1987	DBLP DOI BibTeX RDF
17	Carsten Thomassen	Counterexamples to Adám's conjecture on arc reversals in directed graphs.	J. Comb. Theory, Ser. B	1987	DBLP DOI BibTeX RDF
17	Ward Whitt	Deciding Which Queue to Join: Some Counterexamples.	Oper. Res.	1986	DBLP DOI BibTeX RDF
17	Collette R. Coullard	Counterexamples to conjectures on 4-connected matroids.	Comb.	1986	DBLP DOI BibTeX RDF
17	Amos Altshuler	The Mani-Walkup Spherical Counterexamples to the Wv-Path Conjecture are Not Polytopal.	Math. Oper. Res.	1985	DBLP DOI BibTeX RDF
17	Joseph O'Rourke	Counterexamples to a minimal circumscription algorithm.	Comput. Vis. Graph. Image Process.	1985	DBLP DOI BibTeX RDF
17	J. Adrian Bondy, Pavol Hell	Counterexamples to theorems of Menger type for the diameter.	Discret. Math.	1983	DBLP DOI BibTeX RDF
17	Steve Winker	Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions.	J. ACM	1982	DBLP DOI BibTeX RDF
17	Thomas Andreae	Simpler counterexamples to the edge-reconstruction conjecture for infinite graphs.	J. Comb. Theory, Ser. B	1982	DBLP DOI BibTeX RDF
17	Peter J. Slater	Counterexamples to randić's conjecture on distance degree sequences for trees.	J. Graph Theory	1982	DBLP DOI BibTeX RDF
17	Neil Hindman	Partitions and Sums and Products - Two Counterexamples.	J. Comb. Theory, Ser. A	1980	DBLP BibTeX RDF
17	V. A. Aksionov, Leonid S. Melnikov	Some counterexamples associated with the three-color problem.	J. Comb. Theory, Ser. B	1980	DBLP DOI BibTeX RDF
17	Paul A. Catlin	Hajós' graph-coloring conjecture: Variations and counterexamples.	J. Comb. Theory, Ser. B	1979	DBLP DOI BibTeX RDF
17	Michael Capobianco, John C. Molluzzo	Examples and Counterexamples in Graph Theory.	J. Graph Theory	1978	DBLP DOI BibTeX RDF
17	Stanley Fiorini	Counterexamples to two conjectures of Hilton.	J. Graph Theory	1978	DBLP DOI BibTeX RDF
17	Carsten Thomassen	Counterexamples to faudree and schelp's conjecture on hamiltonian-connected graphs.	J. Graph Theory	1978	DBLP DOI BibTeX RDF
17	Michael Capobianco, John C. Molluzzo	Examples and counterexamples in graph theory.	J. Graph Theory	1978	DBLP DOI BibTeX RDF
17	Steve Winker, Larry Wos	Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra.	MVL	1978	DBLP BibTeX RDF
17	Carsten Thomassen	Counterexamples to the edge reconstruction conjecture for infinite graphs.	Discret. Math.	1977	DBLP DOI BibTeX RDF