Search results for "contradiction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Anna Formica, Hans Dietmar Gröger, Michele Missikoff	An Efficient Method for Checking Object-Oriented Database Schema Correctness.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	inheritance conflicts, inheritance process, object-oriented database schemas, databases, graph theory, recursive types
11	Christian G. Fermüller	Implicational Completeness of Signed Resolution.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
11	Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan	A Tight Characterization of NP with 3 Query PCPs.	FOCS	1998	DBLP DOI BibTeX RDF	Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity
11	Lassaad Cheikhrouhou, Jörg H. Siekmann	Planning Diagonalization Proofs.	AIMSA	1998	DBLP DOI BibTeX RDF
11	Satoshi Hada, Toshiaki Tanaka	On the Existence of 3-Round Zero-Knowledge Protocols.	CRYPTO	1998	DBLP DOI BibTeX RDF	Zero-knowledge, interactive proof, Diffie-Hellman problem
11	Anne Lorette, Hassan Shekarforoush, Josiane Zerubia	Super-Resolution with Adaptive Regularization.	ICIP (1)	1997	DBLP DOI BibTeX RDF	adaptive regularization, multichannel super-resolution, high frequency information recovery, temporal bandwidth, regularity constraints, /spl phi/-functions, non-convex functions, unbounded functions, MAP criterion, Markov random fields, image reconstruction, image resolution, cost function, discontinuities, convex functions, Bayesian framework, ill-posed problem, bounded functions
11	Dietmar Seipel	Partial Evidential Stable Models for Disjunctive Deductive Databases.	LPKR	1997	DBLP DOI BibTeX RDF
11	Ronny Martens, Luc J. M. Claesen	On-line Signature Verification: Discrimination Emphasised.	ICDAR	1997	DBLP DOI BibTeX RDF
11	Jan-Erik Eklund, Christer Svensson, Anders Åström	VLSI implementation of a focal plane image processor-a realization of the near-sensor image processing concept.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
11	Vishwani D. Agrawal, Michael L. Bushnell, Qing Lin	Redundancy Identification Using Transitive Closure.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
11	Xiaorong Huang	Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.	PRICAI	1996	DBLP DOI BibTeX RDF
11	Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi	On Formation of Exception Hierarchy.	PRICAI	1996	DBLP DOI BibTeX RDF
11	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
11	Leo Motus, R. Kinksaar, Tonu Naks, M. Pall	Enhancing object modelling technique with timing analysis capabilities.	ICECCS	1995	DBLP DOI BibTeX RDF	enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
11	Chikahito Nakajima, Toshihiro Yazawa	Automatic recognition of facility drawings and street maps utilizing the facility management database.	ICDAR	1995	DBLP DOI BibTeX RDF	electricity supply industry, facility drawings, street maps, facility management database, handwritten distribution facility drawings, recognition method, electric-pole symbol, support cable symbol, feature extraction, image recognition, cartography, map recognition
11	Mladen Stanojevic, Sanja Vranes, Dusan M. Velasevic	Using Truth Maintenance Systems: A Tutorial.	IEEE Expert	1994	DBLP DOI BibTeX RDF
11	Paulo Quaresma, José Gabriel Lopes	A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues.	LPAR	1994	DBLP DOI BibTeX RDF
11	Suryanil Ghosh	Paraconsistency and Beyond: A New Approach to Inconsistency Handling.	ISMIS	1994	DBLP DOI BibTeX RDF
11	Jussi Rintanen	Prioritized Autoepistemic Logic.	JELIA	1994	DBLP DOI BibTeX RDF
11	Gerd Wagner 0001	Neutralization and Preemtion in Extended Logic Programs.	LPAR	1993	DBLP DOI BibTeX RDF
11	Giovanni Sartor	A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning.	ICAIL	1993	DBLP DOI BibTeX RDF	legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning
11	Eva Kühn, Franz Puntigam	Reliable Communication in VPL.	PARLE	1992	DBLP DOI BibTeX RDF	parallel language extensions, implementation of parallel languages, parallel programming paradigms
11	Frank P. Ferrie, Martin D. Levine	Where and Why Local Shading Analysis Works.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	local shading analysis, surface recovery, surface curvature, picture processing, picture processing
11	Eric Allender	Limitations of the Upward Separation Technique (Preliminary Version).	ICALP	1989	DBLP DOI BibTeX RDF
11	João P. Martins	Computational issues in belief revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
11	Gadi Taubenfeld, Shmuel Katz, Shlomo Moran	Impossibility Results in the Presence of Multiple Faulty Processes (Preliminary Version).	FSTTCS	1989	DBLP DOI BibTeX RDF
11	Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis	Implementation of a Prolog-INGRES Interface.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	Prolog, INGRES
11	Neil V. Murray, Erik Rosenthal	Inference with path resolution and semantic graphs.	J. ACM	1987	DBLP DOI BibTeX RDF
11	Hiroki Ishizaka	Inductive Inference of Regular Language Based on Model Inference.	LP	1987	DBLP DOI BibTeX RDF
11	László Kovács, András Ercsényi	Specification versus implementation based on Estelle.	Comput. Commun. Rev.	1986	DBLP DOI BibTeX RDF	Pascal
11	Keith Greystoke	Information resource planning and management methodologies.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
11	François Bancilhon	On the Completeness of Query Languages for Relational Data Bases.	MFCS	1978	DBLP DOI BibTeX RDF
11	Lawrence J. Henschen, Larry Wos	Unit Refutations and Horn Sets.	J. ACM	1974	DBLP DOI BibTeX RDF
11	David F. Martin	Programming Languages: Boolean matrix methods for the detection of simple precedence grammars.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Boolean matrices, bounded-context syntactic analysis, operator grammar, operator precedence, precedence analysis, simple precedence grammar, simple precedence language, compilers, relations, syntax analysis