Search results for "counterexamples"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Vasco Brattka	Computable Versions of Baire's Category Theorem.	MFCS	2001	DBLP DOI BibTeX RDF	functional analysis, computable analysis
11	Jörg Lücke	Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory.	IJCAR	2001	DBLP DOI BibTeX RDF	First-Order Logic, Set Theory, Decision Procedures
11	Anders Møller, Michael I. Schwartzbach	The Pointer Assertion Logic Engine.	PLDI	2001	DBLP DOI BibTeX RDF
11	Hans Ulrich Simon	How Many Queries Are Needed to Learn One Bit of Information?	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
11	Darko Marinov, Sarfraz Khurshid	TestEra: A Novel Framework for Automated Testing of Java Programs.	ASE	2001	DBLP DOI BibTeX RDF
11	David J. McClurkin, George F. Georgakopoulos	Sphendamnoe: A Proof that k-Splay Fails to Achieve logkN Behaviour.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF
11	Zhixiang Chen 0001	Multiplicative Adaptive Algorithms for User Preference Retrieval.	COCOON	2001	DBLP DOI BibTeX RDF
11	Doron A. Peled, Amir Pnueli, Lenore D. Zuck	From Falsification to Verification.	FSTTCS	2001	DBLP DOI BibTeX RDF
11	Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate	Direct Reflections.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	direct reflection, perfect morphism, Samuel compactification, topological bicompletion
11	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
11	Ramesh Bharadwaj, Steve Sims	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.	TACAS	2000	DBLP DOI BibTeX RDF
11	Alessandro Cimatti	Industrial Applications of Model Checking.	MOVEP	2000	DBLP DOI BibTeX RDF
11	Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel	A Theory of Consistency for Modular Synchronous Systems.	FMCAD	2000	DBLP DOI BibTeX RDF
11	Ronald W. Ritchey, Paul Ammann	Using Model Checking to Analyze Network Vulnerabilities.	S&P	2000	DBLP DOI BibTeX RDF
11	Angelo Gargantini, Constance L. Heitmeyer	Using Model Checking to Generate Tests from Requirements Specifications.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
11	Orna Kupferman, Moshe Y. Vardi	Vacuity Detection in Temporal Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
11	Jean-François Baget	A Simulation of Co-identity with Rules in Simple and Nested Graphs.	ICCS	1999	DBLP DOI BibTeX RDF
11	Wayne M. Lawton, Zhiping Lin 0001	Matrix completion problems in multidimensional systems.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
11	Daniel J. Buehrer, Chee-Hwa Lee	Class Algebra for Ontology Reasoning.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Class algebra, ontology, classification, object-oriented, probability, reasoning, ISA
11	Axel van Lamsweerde, Laurent Willemet	Inferring Declarative Requirements Specifications from Operational Scenarios.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Scenario-based requirements elicitation, inductive inference of specifications, specification refinement and analysis, goal-oriented requirements engineering, lightweight formal methods
11	Yong Gao, Xiaofeng Qi, Francesco Palmieri 0001	Comments on "Theoretical analysis of evolutionary algorithms with an infinite population size in continuous space. I. Basic properties of selection and mutation" [and reply].	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
11	Harry Preuß, Anand Srivastav	Blockwise Variable Orderings for Shared BDDs.	MFCS	1998	DBLP DOI BibTeX RDF
11	Leo Bachmair, Harald Ganzinger	Strict Basic Superposition.	CADE	1998	DBLP DOI BibTeX RDF
11	Olaf Kummer, Mark-Oliver Stehr	Petri's Axioms of Concurrency- A Selection of Recent Results.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics Axiomatic theory of concurrency/causality
11	H. Pulapaka, Andrew Vince	Nonrevisiting Paths on Surfaces.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
11	Pierre Kelsen	Ranking and Unranking Trees Using Regular Reductions.	STACS	1996	DBLP DOI BibTeX RDF
11	David Sinclair, Andrew Blake 0001	Isoperimetric Normalization of Planar Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	closed planar curves, isoperimetric normalization, projective group PGL(2), piecewise smooth closed curve, invariant shape descriptor, image processing, computational geometry, object recognition, edge detection, canonical form
11	Francesco Bergadano, Stefano Varricchio	Learning Behaviors of Automata from Multiplicity and Equivalence Queries.	CIAC	1994	DBLP DOI BibTeX RDF
11	Paul W. Goldberg, Sally A. Goldman, H. David Mathias	Learning Unions of Boxes with Membership and Equivalence Queries.	COLT	1994	DBLP DOI BibTeX RDF
11	William McCune, Larry Wos	Application of Automated Deduction to the Search for Single Axioms for Exponent Groups.	LPAR	1992	DBLP DOI BibTeX RDF
11	Nachum Dershowitz, Subrata Mitra, G. Sivakumar	Decidable Matching for Convergent Systems (Preliminary Version).	CADE	1992	DBLP DOI BibTeX RDF
11	Howard Aizenstein, Leonard Pitt	Exact Learning of Read-k Disjoint DNF and Not-So-Disjoint DNF.	COLT	1992	DBLP DOI BibTeX RDF
11	Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries	Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract).	RTA	1991	DBLP DOI BibTeX RDF	orthogonal term rewriting systems, infinitary rewriting, strong converging reductions, infinite Church-Rosser Properties, Böhm Trees, head normal forms, non-unifiable term rewriting systems, normal forms
11	Harry G. Mairson	Deciding ML Typability is Complete for Deterministic Exponential Time.	POPL	1990	DBLP DOI BibTeX RDF	ML
11	Francesco Bergadano, Attilio Giordana, Lorenza Saitta	Automated Concept Acquisition in Noisy Environments.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	automated concept acquisition, learning methodology, discriminant descriptions, clusters, machine learning, pattern recognition, computational complexity, computational complexity, artificial intelligence, artificial intelligence, speech recognition, speech recognition, knowledge acquisition, knowledge engineering, knowledge engineering, learning systems, formal logic, graph structure, noisy environments
11	James L. Massey, Ueli M. Maurer, Muzhong Wang	Non-Expanding, Key-Minimal, Robustly-Perfect, Linear and Bilinear Ciphers.	EUROCRYPT	1987	DBLP DOI BibTeX RDF
11	Pekka Orponen	Complexity Classes of Alternating Machines with Oracles.	ICALP	1983	DBLP DOI BibTeX RDF
11	Toshihide Ibaraki	The Power of Dominance Relations in Branch-and-Bound Algorithms.	J. ACM	1977	DBLP DOI BibTeX RDF