Search results for "NP-Completeness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham	A robotic assembly application on the Spring real-time system.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	printed circuit manufacture, printed circuit layout, robotic assembly application, Spring real-time system, run-time system support, predictability demands, robotic work-cell, circuit board assembly, user understanding, target hardware properties, process layout, resource layout, shared resource usage, process suspension, efficient run-time representation, real-time systems, robots, timing, completeness, flexibility, reengineering, timing analysis, circuit layout CAD, assembling, systems re-engineering, interprocess communication, program representation, porting, ease of use, industrial robots, software development tools
17	Steven M. Seitz, Charles R. Dyer	Complete Scene Structure from Four Point Correspondences.	ICCV	1995	DBLP DOI BibTeX RDF	complete scene structure, four point correspondences, 3D scene structure, reference features, affine camera model, reconstructible features, motion techniques, edge detection, image sequences, image reconstruction, completeness, programming theory, real images, recursive algorithm, natural scenes, unified framework, parallax, feature correspondence, structure recovery, line features
17	Hajime Machida	Finitary Approximations and Metric Structure of the Space of Clones.	ISMVL	1995	DBLP DOI BibTeX RDF	finitary approximations, metric structure, space of clones, multivariable functions, finitary approximation, clone space, metric function, totally boundedness, isolated point, completeness, set theory, compactness, formal logic
17	Zuoquan Lin, Wei Li 0022	On Logic of Paradox.	ISMVL	1995	DBLP DOI BibTeX RDF	logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
17	Zheng Tang, Okihiko Ishizuka, Koichi Tanno	Learning Multiple-Valued Logic Networks Based on Back Propagation.	ISMVL	1995	DBLP DOI BibTeX RDF	multiple-valued logic networks learning, canonical realization, initial parameters, neural nets, simulation results, backpropagation, backpropagation, multivalued logic, parameter space, functional completeness
17	Sergio Antoy, John D. Gannon	Using Term Rewriting to Verify Software.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	verification tasks, while statements, representation functions, generic program units, abstract base classes, algebraic axioms, Boyer-Moore prover, mechanical assistance, software tools, theorem proving, convergence, program verification, abstract data types, abstract data types, term rewriting, rewriting systems, sufficient completeness, structural induction
17	Michele Flammini, Giorgio Gambosi, Sandro Salomone	Boolean Routing.	WDAG	1993	DBLP DOI BibTeX RDF	shortest paths representation, Distributed systems, NP-completeness, interval routing, compact routing tables
17	Henk Schepers, Jozef Hooman	Trace-Based Compositional Reasoning about Fault Tolerant Systems.	PARLE	1993	DBLP DOI BibTeX RDF	Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness
17	Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, Man-Yuen Wong	Orthogonal Defect Classification - A Concept for In-Process Measurements.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	in-process measurements, cause-effect relationships, measurement and analysis methods, defect trigger distribution, testing, software development, software quality, software reliability, feedback, completeness, inspection, semantic information, necessary and sufficient conditions, verification processes, orthogonal defect classification
17	Regimantas Pliuskevicius	Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.	JELIA	1992	DBLP DOI BibTeX RDF	fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
17	Carlo Meghini, Costantino Thanos	The Complexity of Operations on a Fragmented Relation.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	completeness of fragmentation schemas, relation fragmentation, query optimization, NP-hardness, updates
17	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
17	Charles D. Hansen, Thomas C. Henderson	CAGD-Based Computer Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D shape recognition, strategy tree, computer vision, computer vision, robustness, CAD, consistency, computerised pattern recognition, computerised pattern recognition, completeness, trees (mathematics), solid modelling, computer-aided geometric design, CAGD, search process
17	Bengt Jonsson 0001	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality
17	Norbert Eisinger	What You Always Wanted to Know About Clause Graph Resolution.	CADE	1986	DBLP DOI BibTeX RDF	Clause Graphs, Completeness, Strategies, Resolution, Confluence, Connection Graphs
17	Deepak Kapur, Paliath Narendran, Hantao Zhang 0001	Proof by Induction Using Test Sets.	CADE	1986	DBLP DOI BibTeX RDF	Inductionless Induction, Knuth-Bendix Completion Procedure, Consistency, Induction, Equational Theory, Sufficient-Completeness, Proof by Induction
17	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
17	Radim Belohlávek, Vilém Vychodil	Query systems in similarity-based databases: logical foundations, expressive power, and completeness.	SAC	2010	DBLP DOI BibTeX RDF	domain relational calculus, query system, similarity-based databases, relational databases, residuated lattices
17		Instance-Completeness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17		Relation-Completeness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Christine Tasson	Algebraic Totality, towards Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
17	Carlos Areces, Santiago Figueira, Sergio Mera	Completeness Results for Memory Logics.	LFCS	2009	DBLP DOI BibTeX RDF
17	Jakob Grue Simonsen	The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity).	RTA	2009	DBLP DOI BibTeX RDF
17	Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.	CALCO	2009	DBLP DOI BibTeX RDF
17	Sebastian Kinder, Rolf Drechsler	Modeling and proving functional completeness in formal verification of counting heads.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
17	Hector Freytes	Pavelka-style completeness in expansions of Lukasiewicz logic.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematical Subject Classification (2000) 03B50, 03B52, 06D35
17	Malay K. Ganai, Aarti Gupta	Completeness in SMT-based BMC for Software Programs.	DATE	2008	DBLP DOI BibTeX RDF
17	Francesco Logozzo, Manuel Fähndrich	On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.	CC	2008	DBLP DOI BibTeX RDF
17	Akihiro Kishimoto, Martin Müller 0003	About the Completeness of Depth-First Proof-Number Search.	Computers and Games	2008	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Claudia Ermel	Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
17	Rostislav Horcík	Alternative Proof of Standard Completeness Theorem for MTL.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Monoidal t-norm based logic, Left-continuous t-norm, Fuzzy logic
17	Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic	Completeness theorem for topological class models.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03C70
17	Sebastian Kinder, Rolf Drechsler	Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.	DSD	2007	DBLP DOI BibTeX RDF
17	Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago	Light Logics and Optimal Reduction: Completeness and Complexity.	LICS	2007	DBLP DOI BibTeX RDF
17	Miklós Ajtai	Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures.	TAMC	2007	DBLP DOI BibTeX RDF
17	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty	Context logic as modal logic: completeness and parametric inexpressivity.	POPL	2007	DBLP DOI BibTeX RDF	contexts, logic, expressivity, structured data
17	Agata Ciabattoni, George Metcalfe	Density Elimination and Rational Completeness for First-Order Logics.	LFCS	2007	DBLP DOI BibTeX RDF
17	Martin Oberkönig, Martin Schickel, Hans Eveking	A Quantitative Completeness Analysis for Property-Sets.	FMCAD	2007	DBLP DOI BibTeX RDF
17	Kedar S. Namjoshi	Symmetry and Completeness in the Analysis of Parameterized Systems.	VMCAI	2007	DBLP DOI BibTeX RDF
17	Alexander Hertel, Alasdair Urquhart	Game Characterizations and the PSPACE-Completeness of Tree Resolution Space.	CSL	2007	DBLP DOI BibTeX RDF
17	Marcel Karnstedt, Kai-Uwe Sattler, Roman Schmidt	Completeness Estimation of Range Queries in Structured Overlays.	Peer-to-Peer Computing	2007	DBLP DOI BibTeX RDF
17	Floris Geerts, Jan Van den Bussche	Relational Completeness of Query Languages for Annotated Databases.	DBPL	2007	DBLP DOI BibTeX RDF
17	Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen	Completeness in Two-Party Secure Computation: A Computational View.	J. Cryptol.	2006	DBLP DOI BibTeX RDF
17	Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler	Checking Consistency and Completeness of On-Line Product Manuals.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	problem encoding, BDD-techniques, SAT, real-world applications
17	Shai Rubin, Somesh Jha, Barton P. Miller	On the Completeness of Attack Mutation Algorithms.	CSFW	2006	DBLP DOI BibTeX RDF
17	Franco Montagna	Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
17	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Completeness of Global Evaluation Logic.	MFCS	2006	DBLP DOI BibTeX RDF
17	Slawomir Lasota 0001, David Nowak, Yu Zhang	On Completeness of Logical Relations for Monadic Types.	ASIAN	2006	DBLP DOI BibTeX RDF
17	Roberto Cignoli, Antoni Torrens	Standard completeness of Hájek basic logic and decompositions of BL-chains.	Soft Comput.	2005	DBLP DOI BibTeX RDF
17	Rostislav Horcík	Standard completeness theorem for PiMTL.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	MTL logic, Product logic, Left-continuous t-norm, Cancellative left-continuous t-norm, Fuzzy logic, Many-valued logic
17	Antony Tang, Jun Han 0004	Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness.	ECBS	2005	DBLP DOI BibTeX RDF
17	Thierry Coquand	Completeness Theorems and lambda-Calculus.	TLCA	2005	DBLP DOI BibTeX RDF
17	Eugene Eberbach	The role of completeness in convergence of evolutionary algorithms.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
17	Pedro Adão, Gergei Bana, Andre Scedrov	Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.	CSFW	2005	DBLP DOI BibTeX RDF
17	Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou	An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.	ASP-DAC	2005	DBLP DOI BibTeX RDF
17	Hidenosuke Nishio	Completeness and Degeneracy in Information Dynamics of Cellular Automata.	MFCS	2005	DBLP DOI BibTeX RDF
17	Minxia Luo, Huacan He	A Propositional Calculus Formal Deductive System LU of Universal Logic and Its Completeness.	FSKD (1)	2005	DBLP DOI BibTeX RDF
17	Janusz Kacprzyk, Grazyna Szkatula	An Inductive Learning Algorithm with a Partial Completeness and Consistence via a Modified Set Covering Problem.	ICANN (2)	2005	DBLP DOI BibTeX RDF
17	Francesco Ranzato, Francesco Tapparo	Strong Preservation as Completeness in Abstract Interpretation.	ESOP	2004	DBLP DOI BibTeX RDF
17	Mohamed Mosbah 0001, Rodrigue Ossamy	A Programming Language for Local Computations in Graphs: Computational Completeness.	ENC	2004	DBLP DOI BibTeX RDF
17	Mehul Bhatt, Carlo Wouters, Andrew Flahive, J. Wenny Rahayu, David Taniar	Semantic Completeness in Sub-ontology Extraction Using Distributed Methods.	ICCSA (3)	2004	DBLP DOI BibTeX RDF	Parallel & Distributed Systems, Sub-Ontology Extraction, Ontologies, Semantic Web
17	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Completeness and Complexity of Bounded Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
17	Barbara Morawska 0001	Completeness of E-Unification with Eager Variable Elimination.	LPAR	2003	DBLP DOI BibTeX RDF
17	M. Lange	Satisfiability and Completeness of Converse-PDL Replayed.	KI	2003	DBLP DOI BibTeX RDF
17	Saeed Salehi	A Completeness Property of Wilke's Tree Algebras.	MFCS	2003	DBLP DOI BibTeX RDF
17	Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon	Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
17	Olivier Beaumont, Vincent Boudet, Fabrice Rastello, Yves Robert	Partitioning a Square into Rectangles: NP-Completeness and Approximation Algorithms.	Algorithmica	2002	DBLP DOI BibTeX RDF
17	Mitio Takano	Strong completeness of lattice-valued logic.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
17	Carlos Caleiro, Paula Gouveia, Jaime Ramos	Completeness Results for Fibred Parchments: Beyond the Propositional Base.	WADT	2002	DBLP DOI BibTeX RDF
17	Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001	Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.	ICFEM	2002	DBLP DOI BibTeX RDF
17	Jörg H. Siekmann, Graham Wrightson	An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
17	Michael J. Maher	Propagation Completeness of Reactive Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
17	Aduri Pavan, Alan L. Selman	Bi-Immunity Separates Strong NP-Completeness Notions.	STACS	2002	DBLP DOI BibTeX RDF
17	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
17	Jürgen Stuber	A Model-Based Completeness Proof of Extended Narrowing and Resolution.	IJCAR	2001	DBLP DOI BibTeX RDF
17	Hiroshi Nakano	Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.	TACS	2001	DBLP DOI BibTeX RDF
17	Dexter Kozen	Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra.	STACS	2001	DBLP DOI BibTeX RDF
17	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	DBLP DOI BibTeX RDF
17	Aduri Pavan, Alan L. Selman	Separation of NP-Completeness Notions.	CCC	2001	DBLP DOI BibTeX RDF
17	Thierry Coquand, Guo-Qiang Zhang 0001	Sequents, Frames, and Completeness.	CSL	2000	DBLP DOI BibTeX RDF
17	Noriyuki Fujimoto, Kenichi Hagihara	NP-Completeness of the Bulk Synchronous Task Scheduling Problem and Its Approximation Algorithm.	ISPAN	2000	DBLP DOI BibTeX RDF
17	Carsten Butz	A topological completeness theorem.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
17	Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt	Full Completeness of the Multiplicative Linear Logic of Chu Spaces.	LICS	1999	DBLP DOI BibTeX RDF	Chu spaces, categorical logic, natural transformations, coherence spaces, Linear logic, logical relations
17	Samson Abramsky, Paul-André Melliès	Concurrent Games and Full Completeness.	LICS	1999	DBLP DOI BibTeX RDF
17	Luca Roversi	A P-Time Completeness Proof for Light Logics.	CSL	1999	DBLP DOI BibTeX RDF
17	Robert Demolombe	Answers About Validity and Completeness of Data: Formal Definitions, Usefulness and Computation Technique.	FQAS	1998	DBLP DOI BibTeX RDF
17	Christian G. Fermüller	Implicational Completeness of Signed Resolution.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
17	Marek Chrobak, Christoph Dürr	Reconstructing Polyatomic Structures from Discrete X-Rays: NP-Completeness Proof for Three Atoms.	MFCS	1998	DBLP DOI BibTeX RDF
17	Abdullah Uz Tansel, Erkan Tin	Expressive Power of Temporal Relational Query Languages and Temporal Completeness.	Temporal Databases, Dagstuhl	1997	DBLP DOI BibTeX RDF
17	Christos H. Papadimitriou	NP-Completeness: A Retrospective.	ICALP	1997	DBLP DOI BibTeX RDF
17	Ketil Stølen	Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness.	ESOP	1996	DBLP DOI BibTeX RDF
17	David Janin, Igor Walukiewicz	On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic.	CONCUR	1996	DBLP DOI BibTeX RDF
17	Dexter Kozen, Frederick Smith	Kleene Algebra with Tests: Completeness and Decidability.	CSL	1996	DBLP DOI BibTeX RDF
17	Peter Vojtás, Leonard Paulík	Soundness and Completeness of Non-classical SLD-Resolution.	ELP	1996	DBLP DOI BibTeX RDF
17	Massimo Marchiori	Modularity of Completeness Revisited.	RTA	1995	DBLP DOI BibTeX RDF
17	Randy Browne	An Entropy Conservation Law for Testing the Completeness of Convert Channel Analysis.	CCS	1994	DBLP DOI BibTeX RDF
17	Zheng Zhu, Carl-Johan H. Seger	The Completeness of a Hardware Inference System.	CAV	1994	DBLP DOI BibTeX RDF
17	Adel Bouhoula	SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs.	CADE	1994	DBLP DOI BibTeX RDF
17	Deepak Kapur	An Automated Tool for Analyzing Completeness of Equational Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
17	Tanel Tammet	Completeness of Resolution for Definite Answers with Case Analysis.	CSL	1994	DBLP DOI BibTeX RDF