|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3642 occurrences of 1964 keywords
|
|
|
Results
Found 5530 publication records. Showing 5530 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 5530 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|