Search results for "completeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Martin Giese	A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.	TABLEAUX	2002	DBLP DOI BibTeX RDF
28	Adel Bouhoula	Simultaneous Checking of Completeness and Ground Confluence.	ASE	2000	DBLP DOI BibTeX RDF
28	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
28	Levke Bentzien	Positive Turing and Truth-Table Completeness for NEXP Are Incomparable.	MFCS	1998	DBLP DOI BibTeX RDF
28	Robert Demolombe	Validity Queries and Completeness Queries.	ISMIS	1996	DBLP DOI BibTeX RDF	Uncertainty, Epistemic Logic, Intelligent Information Systems
28	Helmut Emmelmann	Testing Completeness of Code Selector Specifications.	CC	1992	DBLP DOI BibTeX RDF
28	Steven Klusener	Completeness in Real Time Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Integration, Process Algebra, SOS, ACP
28	Joseph Y. Halpern, John H. Williams, Edward L. Wimmers	Completeness of Rewrite Rules and Rewrite Strategies for FP	J. ACM	1990	DBLP DOI BibTeX RDF	FP
28	Hendrik Decker, Lawrence Cavedon	Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.	CSL	1989	DBLP DOI BibTeX RDF
28	Jieh Hsiang, Michaël Rusinowitch	A New Method for Establishing Refutational Completeness in Theorem Proving.	CADE	1986	DBLP DOI BibTeX RDF
28	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
27	Dushyanth Narayanan, Austin Donnelly, Richard Mortier, Antony I. T. Rowstron	Delay aware querying with Seaweed.	VLDB J.	2008	DBLP DOI BibTeX RDF
27	Dale Miller 0001, Alexis Saurin	From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.	CSL	2007	DBLP DOI BibTeX RDF
27	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Building Complete Abstract Interpretations in a Linear Logic-based Setting.	SAS	1998	DBLP DOI BibTeX RDF
27	Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi	Notions of dependency satisfaction.	J. ACM	1986	DBLP DOI BibTeX RDF
23	Sanatan Rai, George L. Vairaktarakis	NP-complete Problems and Proof Methodology.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Polynomial time reduction, strong NP-completeness, ordinary NP-completeness, Computational complexity, Reducibility, NP-complete problem, NP-hard problem
23	Stefan Szeider	Generalizations of matched CNF formulas.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	matched formula, deficiency, biclique cover, P 2 -completeness, NP-completeness, bipartite graph, polynomial hierarchy, SAT problem
23	Sanjeev Arora, Shmuel Safra	Probabilistic Checking of Proofs: A New Characterization of NP.	J. ACM	1998	DBLP DOI BibTeX RDF	computations on polynomials and finite fields, proof checking, reducibility and completeness, trade-offs/relations among complexity measures, approximation algorithms, NP-completeness, error-correcting codes, hardness of approximations, probabilistic computation, interactive computation, complexity hierarchies
23	Adenilso da Silva Simão, Alexandre Petrenko	Checking Completeness of Tests for Finite State Machines.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	test analysis, test completeness conditions, test generation, Finite State Machine, fault coverage
23	Michele Basaldella, Kazushige Terui	Infinitary Completeness in Ludics.	LICS	2010	DBLP DOI BibTeX RDF	ludics, completeness, linear logic, recursive types, coinduction
23	Pavel Hrubes, Avi Wigderson, Amir Yehudayoff	Relationless Completeness and Separations.	CCC	2010	DBLP DOI BibTeX RDF	Completeness, Separations, Algebraic complexity
23	Sergio España, Nelly Condori-Fernández, Arturo González 0001, Oscar Pastor 0001	Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment.	RE	2009	DBLP DOI BibTeX RDF	unity criteria, metrics, requirements engineering, experiment, completeness, use cases, granularity, communication analysis
23	Tianyan Deng, Daoyun Xu	NP-Completeness of (k-SAT, r-UNk-SAT) and (LSAT>=k, r-UNLSAT>=k).	FAW	2008	DBLP DOI BibTeX RDF	PCP theorem, linear CNF formula, LSAT, minimal unsatisfiable(MU) formula, NP-completeness, reduction
23	Xavier Parent	On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.	DEON	2008	DBLP DOI BibTeX RDF	Conditional obligation, preference-based semantics, DSDL3, strong completeness
23	Luigi Santocanale, Yde Venema	Completeness for Flat Modal Fixpoint Logics.	LPAR	2007	DBLP DOI BibTeX RDF	fixpoint logic, completeness, modal algebra
23	Razvan Cristescu, Baltasar Beferull-Lozano, Martin Vetterli, Roger Wattenhofer	Network correlated data gathering with explicit communication: NP-completeness and algorithms.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	conditional coding, correlated data gathering, sensor networks, distributed algorithms, NP-completeness, traveling salesman, routing tree
23	Hai Zhuge, Erlin Yao	Completeness of Query Operations on Resource Spaces.	SKG	2006	DBLP DOI BibTeX RDF	Resource Space Model, query, completeness, expressiveness, operation, sufficiency
23	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
23	Yih-Kuen Tsay, Rajive L. Bagrodia	Deducing Fairness Properties in UNITY Logic - A New Completeness Result.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	fairness properties, temporal logic, completeness, UNITY
23	Eyal Kushilevitz, Silvio Micali, Rafail Ostrovsky	Reducibility and Completeness in Multi-Party Private Computations	FOCS	1994	DBLP DOI BibTeX RDF	Oblivious Transfer protocol, multi-party private computations, n-privacy, Boolean functions, completeness, reducibility, black-box, multi-party protocols
23	Yoshikane Takahashi	Fuzzy Database Query Languages and Their Relational Completeness Theorem.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	fuzzy database query languages, relational completeness theorem, fuzzy calculus query language, fuzzy algebra query language, information retrieval, relational databases, query languages, fuzzy sets, fuzzy set theory, relational calculus, truth values, attribute values
23	Lenore Blum, Mike Shub, Steve Smale	On a Theory of Computation over the Real Numbers; NP Completeness, Recursive Functions and Universal Machines (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	universal machines, partial recursive functions, undecidable sets, foundational issues, NP completeness, numerical analysis, theory of computation, recursive functions, real numbers
23	Norihiro Kamide	Proof Systems Combining Classical and Paraconsistent Negations.	Stud Logica	2009	DBLP DOI BibTeX RDF	Paraconsistent negation, completeness, sequent calculus, cut-elimination
23	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
23	Theo Härder, Andreas Bühmann	Value complete, column complete, predicate complete.	VLDB J.	2008	DBLP DOI BibTeX RDF	Cache constraints, Predicate completeness, Query processing, Database caching
23	Erez Shalom, Yuval Shahar, Meirav Taieb-Maimon, Guy Bar, Susana B. Martins, Ohad Young, Laszlo T. Vaszar, Yair Liel, Avi Yarkoni, Mary K. Goldstein, Akiva Leibowitz, Tal Marom, Eitan Lunenfeld	Can Physicians Structure Clinical Guidelines? Experiments with a Mark-Up-Process Methodology.	K4HelP	2008	DBLP DOI BibTeX RDF	Mark-up, Ontologies, Evaluation, Knowledge acquisition, Completeness, Correctness, Clinical guidelines, Clinical decision support systems
23	Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang	A Requirement Tool to Support Model-Based Requirement Engineering.	COMPSAC	2008	DBLP DOI BibTeX RDF	Requirement Editor, Reuse, Consistency, Completeness, Traceability, Maintainability
23	Renate A. Schmidt, Ullrich Hustadt	The axiomatic translation principle for modal logic.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Translation approach, small model property, completeness, decidability
23	Maria Paola Bonacina, Nachum Dershowitz	Abstract canonical inference.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity
23	Artiom Matveevici, Yurii Rogozhin, Sergey Verlan	Insertion-Deletion Systems with One-Sided Contexts.	MCU	2007	DBLP DOI BibTeX RDF	insertion-deletion systems, computational non-completeness, universality
23	Laurence Cholvy, Stéphanie Roussel 0001	Reasoning with an Incomplete Information Exchange Policy.	ECSQARU	2007	DBLP DOI BibTeX RDF	information exchange policy, multi-agent system, completeness
23	Michael Krüger, Harald Hempel	Inverse HAMILTONIAN CYCLE and Inverse 3-D MATCHING Are coNP-Complete.	ISAAC	2006	DBLP DOI BibTeX RDF	coNP-completeness, inverse NP-problems, 3-DIMENSIONAL MATCHING, computational complexity, HAMILTONIAN CYCLE
23	Joachim Biskup, Piero A. Bonatti	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel.	FoIKS	2006	DBLP DOI BibTeX RDF	Complete information system, Open query, Safe query, Domain-independent query, Bernays-Schönfinkel class, Completeness test, Relational database, Confidentiality, First-order logic, Finite model theory, Guarded fragment, Lying, Refusal, Implication problem, Controlled query evaluation
23	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Computational challenges in bounded model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Bonded-Model-checking, Completeness-Threshold, Complexity
23	Catharine M. Wyss, Edward L. Robertson	Relational languages for metadata integration.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	federated data model, metadata querying, relational query algebra, transformational completeness, interoperability, Data integration, schema integration, multidatabases, federated databases, metadata integration
23	Bernhard Heinemann	The Topological Effect of Improving Knowledge Acquisition.	MICAI	2005	DBLP DOI BibTeX RDF	modal logic and topology, completeness, spatial reasoning, Reasoning about knowledge
23	Bernhard Schätz, Christian Salzmann	Service-Based Systems Engineering: Consistent Combination of Services.	ICFEM	2003	DBLP DOI BibTeX RDF	model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality
23	Andreas Brandstädt, Feodor F. Dragan, Hoàng-Oanh Le, Van Bang Le, Ryuhei Uehara	Tree Spanners for Bipartite Graphs and Probe Interval Graphs.	WG	2003	DBLP DOI BibTeX RDF	Chordal bipartite graph, Interval bigraph, Probe interval graph, Tree spanner, NP-completeness
23	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
23	Andrea Frosini, Giulia Simi	The Reconstruction of a Bicolored Domino Tiling from Two Projections.	DGCI	2002	DBLP DOI BibTeX RDF	Domino tiling, Reconstruction Problem, NP-completeness
23	Alfredo Burrieza, Inman P. de Guzmán	A Temporal × Modal Approach to the Definability of Properties of Functions.	FroCoS	2002	DBLP DOI BibTeX RDF	$Ttimes W$-semantics, functional semantics, completeness, definability
23	Jeroen Voeten	On the fundamental limitations of transformational design.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	syntactic variance problem, formal methods, high-level synthesis, Completeness, transformational design
23	Hong Zhu 0002, Lingzi Jin	Scenario Analysis in an Automated Tool for Requirements Engineering.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Requirements model synthesis, Requirements engineering, Consistency, Completeness, Scenario analysis, Automated tool
23	Joachim Biskup, David W. Embley	Mediated Information Gain.	IDEAS	2000	DBLP DOI BibTeX RDF	mediated information gain, human burden, algorithmically tractable subtasks, quality level, mediation task, formal information state, returned answer, internal consistency maintenance, relevant source parts, searching, information systems, implementation, embeddings, querying, completeness, rules, correctness, user interactions, updating, sensor fusion, high-level architecture, iteration, schema, precision, revisions, heterogeneous data sources, instance, query specifications
23	David von Oheimb	Hoare Logic for Mutual Recursion and Local Variables.	FSTTCS	1999	DBLP DOI BibTeX RDF	axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
23	Franz-Josef Brandenburg	On the Complexity of Optimal Drawings of Graphs.	WG	1989	DBLP DOI BibTeX RDF	placement graph grammars, NP-completeness, embeddings, graph grammars, graph layout
22	Ouidad Akhrif, Chaymae Benfares, Mostapha E. L. Jai, Younès El Bouzekri El Idrissi, Nabil Hmina	Completeness based classification algorithm: a novel approach for educational semantic data completeness assessment.	Interact. Technol. Smart Educ.	2022	DBLP DOI BibTeX RDF
22	Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph	Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.	Semantic Web	2020	DBLP DOI BibTeX RDF
22	Luis Valencia-Cabrera, David Orellana-Martín, Miguel Ángel Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez	From NP-Completeness to DP-Completeness: A Membrane Computing Perspective.	Complex.	2020	DBLP DOI BibTeX RDF
22	Yuta Higuchi, Kei Kimura	NP-Completeness of Fill-a-Pix and ΣP2-Completeness of Its Fewest Clues Problem.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
22	Rachid Mecheraoui, Aiman Mukheimer, Stojan Radenovic	From G-Completeness to M-Completeness.	Symmetry	2019	DBLP DOI BibTeX RDF
22	Wei Li, Hongliang Lai, Dexue Zhang	Yoneda completeness and flat completeness of ordered fuzzy sets.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
22	Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione	On structural completeness versus almost structural completeness problem: A discriminator varieties case study.	Log. J. IGPL	2015	DBLP DOI BibTeX RDF
22	Dmitriy Bui, Anna Puzikova	Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria.	DepCoS-RELCOMEX	2015	DBLP DOI BibTeX RDF
22	Debasis Mandal, Aduri Pavan, Rajeswari Venugopalan	Separating Cook Completeness from Karp-Levin Completeness under a Worst-Case Hardness Hypothesis.	Electron. Colloquium Comput. Complex.	2014	DBLP BibTeX RDF
22	Debasis Mandal, Aduri Pavan, Rajeswari Venugopalan	Separating Cook Completeness from Karp-Levin Completeness Under a Worst-Case Hardness Hypothesis.	FSTTCS	2014	DBLP DOI BibTeX RDF
22	Lei Chen 0007, Weiming Zeng, Changhong Lu	NP-completeness and APX-completeness of restrained domination in graphs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
22	Cristina Bazgan, Bruno Escoffier, Vangelis Th. Paschos	Completeness in standard and differential approximation classes: Poly-(D)APX- and (D)PTAS-completeness.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
22	Tadeusz Litak	On Notions of Completeness Weaker than Kripke Completeness.	Advances in Modal Logic	2004	DBLP BibTeX RDF
22	Beate Bollig, Ingo Wegener	Completeness and Non-Completeness Results with Respect to Read-Once Projections.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
22	David W. Juedes, Jack H. Lutz	Completeness and Weak Completeness Under Polynomial-Size Circuits.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
22	Rodney G. Downey, Michael R. Fellows	Fixed-Parameter Tractability and Completeness II: On Completeness for W[1].	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
22	Karl R. Abrahamson, Rodney G. Downey, Michael R. Fellows	Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
22	David W. Juedes, Jack H. Lutz	Completeness and Weak Completeness Under Polynomial-Size Circuits.	STACS	1995	DBLP DOI BibTeX RDF
22	Dan A. Simovici, Ivan Stojmenovic, Ratko Tosic	Functional Completeness and Weak Completeness in Set Logic.	ISMVL	1993	DBLP DOI BibTeX RDF
22	Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel	Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness	Inf. Comput.	1990	DBLP DOI BibTeX RDF
22	Michal Grabowski	Arithmetical completeness versus relative completeness.	Stud Logica	1988	DBLP DOI BibTeX RDF
22	Maria Manuel Clementino, Dirk Hofmann	Lawvere Completeness in Topology.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A05, 18D15, 18D20, 18B35, 54E15, 54E50, 18C15
22	Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge	Multi-Modal CTL: Completeness, Complexity, and an Application.	Stud Logica	2009	DBLP DOI BibTeX RDF	Computation Tree Logic (ctl), Social Laws, Normative Systems
22	Gianluca Amato, Francesca Scozzari	Observational Completeness on Abstract Interpretation.	WoLLIC	2009	DBLP DOI BibTeX RDF
22	Victor Chen	A Hypergraph Dictatorship Test with Perfect Completeness.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF	Gowers norm, Property testing, Fourier analysis, PCP
22	Tran Cao Son, Enrico Pontelli	Some Results on the Completeness of Approximation Based Reasoning.	PRICAI	2008	DBLP DOI BibTeX RDF
22	David S. Johnson	The NP-completeness column: Finding needles in haystacks.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	PPAD, game theory, local search, Nash equilibrium, fixed point, PLS
22	Shaoying Liu	Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility.	HASE	2007	DBLP DOI BibTeX RDF
22	Yang Xu 0001, Shuwei Chen 0001, Jun Liu 0001, Da Ruan 0001	Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic.	IFSA (2)	2007	DBLP DOI BibTeX RDF
22	Mitsuhiro Okada, Ryo Takemura	Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
22	Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp	Towards automatic identification of completeness and consistency in digital dossiers.	ICAIL	2007	DBLP DOI BibTeX RDF
22	John Fisher, Marc Bezem	Query Completeness of Skolem Machine Computations.	MCU	2007	DBLP DOI BibTeX RDF
22	Aniket Mahanti, Martin F. Arlitt, Carey L. Williamson	Assessing the Completeness of Wireless-side Tracing Mechanisms.	WOWMOM	2007	DBLP DOI BibTeX RDF
22	David S. Johnson	The NP-completeness column: The many limits on approximation.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	label cover, Approximation algorithms, lower bounds, set cover, clique, probabilistically checkable proofs, Unique Games Conjecture
22	Richard Bonichon, Olivier Hermant	A Semantic Completeness Proof for TaMeD.	LPAR	2006	DBLP DOI BibTeX RDF
22	Günter Kniesel, Uwe Bardey	An Analysis of the Correctness and Completeness of Aspect Weaving.	WCRE	2006	DBLP DOI BibTeX RDF
22	Gang Gou, Maxim Kormilitsin, Rada Chirkova	Query evaluation using overlapping views: completeness and efficiency.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	rewriting queries using views, query optimization, materialized views
22	Joe Hendrix, José Meseguer 0001, Hitoshi Ohsaki	A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms.	IJCAR	2006	DBLP DOI BibTeX RDF
22	Hervé Fournier, Guillaume Malod	Universal Relations and #P-Completeness.	CIAC	2006	DBLP DOI BibTeX RDF
22	Florent Bouchez, Alain Darte, Christophe Guillon, Fabrice Rastello	Register Allocation: What Does the NP-Completeness Proof of Chaitin et al. Really Prove? Or Revisiting Register Allocation: Why and How.	LCPC	2006	DBLP DOI BibTeX RDF
22	David McSherry	Completeness Criteria for Retrieval in Recommender Systems.	ECCBR	2006	DBLP DOI BibTeX RDF
22	Subhash Khot, Rishi Saket	A 3-Query Non-Adaptive PCP with Perfect Completeness.	CCC	2006	DBLP DOI BibTeX RDF
22	Jingling Xue, Phung Hua Nguyen	Completeness Analysis for Incomplete Object-Oriented Programs.	CC	2005	DBLP DOI BibTeX RDF
22	Pawel Waszkiewicz	Completeness and Compactness of Quantitative Domains.	FCT	2005	DBLP DOI BibTeX RDF