|
|
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 |
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 |
|
Displaying result #301 - #400 of 5530 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|