Search results for "Incompleteness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
10	Srinivasan Parthasarathy 0001, Charu C. Aggarwal	On the Use of Conceptual Reconstruction for Mining Massively Incomplete Data Sets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	data mining, missing values, Incomplete data
10	Aarti Gupta, Malay K. Ganai, Chao Wang 0001, Zijiang Yang 0006, Pranav Ashar	Abstraction and BDDs Complement SAT-Based BMC in DiVer.	CAV	2003	DBLP DOI BibTeX RDF
10	Alistair Fletcher, John Davis	Dialectical Evidence Assembly for Discovery.	Discovery Science	2003	DBLP DOI BibTeX RDF
10	Christian Denger, Daniel M. Berry, Erik Kamsties	Higher Quality Requirements Specifications through Natural Language Patterns.	SwSTE	2003	DBLP DOI BibTeX RDF	embedded systems, authoring, patterns, quality, metamodel, natural language, completeness, accuracy, requirements specification, ambiguity, rewriting, precision
10	Shiyong Lu, Yezhou Sun, Mustafa Atay, Farshad Fotouhi	A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
10	Agnieszka Dardzinska, Zbigniew W. Ras	CHASE2 - Rule Based Chase Algorithm for Information Systems of Type lambda.	Active Mining	2003	DBLP DOI BibTeX RDF
10	Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero	Initializability analysis of synchronous sequential circuits.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	Circuit initialization, Evolutionary Algorithms
10	Ladislav J. Kohout, Eunjin Kim	The role of BK-products of relations in soft computing.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Relational BK-products, Fuzzy relational computations, Distributed computing, Knowledge discovery, Neuro-fuzzy
10	Rudy Prabowo, Mike Jackson 0001, Peter Burden, Heinz-Dieter Knoell	Ontology-Based Automatic Classification for the Web Pages: Design, Implementation and Evaluation.	WISE	2002	DBLP DOI BibTeX RDF
10	Dusan Guller	Procedural Semantics for Fuzzy Disjunctive Programs.	LPAR	2002	DBLP DOI BibTeX RDF	multivalued logic programming, logic in artificial intelligence, fuzzy logic, knowledge representation and reasoning, model theory, disjunctive logic programming
10	Günther Ruhe	Intelligent Support for Selection of COTS Products.	Web, Web-Services, and Database Systems	2002	DBLP DOI BibTeX RDF	COTS selection, Components, Reuse, requirements, decision support, integrated framework
10	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
10	R. Djelouah, Béatrice Duval, Stéphane Loiseau	Validation and Reparation of Knowledge Bases.	ISMIS	2002	DBLP DOI BibTeX RDF
10	Takashi Matsuda, Hiroshi Motoda, Tetsuya Yoshida, Takashi Washio	Mining Patterns from Structured Data by Beam-Wise Graph-Based Induction.	Discovery Science	2002	DBLP DOI BibTeX RDF
10	Philippa J. Broadfoot, A. W. Roscoe 0001	Capturing Parallel Attacks within the Data Independence Framework.	CSFW	2002	DBLP DOI BibTeX RDF
10	Martin S. Feather, Tim Menzies	Converging on the Optimal Attainment of Requirements.	RE	2002	DBLP DOI BibTeX RDF
10	Takashi Matsuda, Hiroshi Motoda, Tetsuya Yoshida, Takashi Washio	Knowledge Discovery from Structured Data by Beam-Wise Graph-Based Induction.	PRICAI	2002	DBLP DOI BibTeX RDF
10	Tim Menzies, David Owen 0002, Bojan Cukic	Saturation Effects in Testing of Formal Models.	ISSRE	2002	DBLP DOI BibTeX RDF
10	Joseph D. Touch	Peer Networks - High-Speed Solution or Challenge?	Protocols for High-Speed Networks	2002	DBLP DOI BibTeX RDF
10	Hao Lin, Zhibiao Zhao, Hongchen Li, Zhiguo Chen	A Novel Graph Reduction Algorithm to Identify Structural Conflicts.	HICSS	2002	DBLP DOI BibTeX RDF	Verification of Process Models, Business Process Modeling, Workflow Management Systems
10	Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer	Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.	ICSE	2002	DBLP DOI BibTeX RDF	UML, use cases, requirements specification, graph transformation, unified process
10	Daniel E. Geer Jr., John Harthorne	Penetration Testing: A Duet.	ACSAC	2002	DBLP DOI BibTeX RDF
10	Annie I. Antón, Ryan A. Carter, Aldo Dagnino, John H. Dempster, Devon F. Siege	Deriving Goals from a Use-Case Based Requirements Specification.	Requir. Eng.	2001	DBLP DOI BibTeX RDF	Goal-based requirements engineering, Use cases, Requirements specification
10	Russell J. Deaton, Max H. Garzon	Fuzzy logic with biomolecules.	Soft Comput.	2001	DBLP DOI BibTeX RDF
10	Zofia Adamowicz, Pawel Zbierski	On Herbrand consistency in weak arithmetic.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
10	Judith Klavans, Smaranda Muresan	Evaluation of DEFINDER: a system to mine definitions from consumer-oriented medical text.	JCDL	2001	DBLP DOI BibTeX RDF	automatic dictionary creation, medical digital libraries, natural language processing, text data mining
10	Francesco Ranzato	On the Completeness of Model Checking.	ESOP	2001	DBLP DOI BibTeX RDF
10	Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo	Collaborative Information Filtering by Using Categorized Bookmarks on the Web.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
10	Charu C. Aggarwal, Srinivasan Parthasarathy 0001	Mining massively incomplete data sets by conceptual reconstruction.	KDD	2001	DBLP DOI BibTeX RDF
10	Gerhard Brewka	On the Relationship between Defeasible Logic and Well-Founded Semantics.	LPNMR	2001	DBLP DOI BibTeX RDF
10	Sanjay Modgil, Peter Hammond	Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans.	AIME	2001	DBLP DOI BibTeX RDF
10	Francine Merat-Bodin, Tahar Hakim Benchekroun	Analysis and Modeling of Cooperative Processes in Dynamic and Complex Environments.	CSCWD	2001	DBLP DOI BibTeX RDF
10	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
10	Ralf-Dieter Schimkat, Michael Friedrich 0002, Wolfgang Küchlin	Deploying Distributed State Information in Mobile Agent Systems.	CoopIS	2001	DBLP DOI BibTeX RDF
10	Giacomo Piccinelli, Leonid Mokrushin	Dynamic e-Service Composition in DySCo.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
10	Paola Inverardi, Sebastián Uchitel	Proving Deadlock Freedom in Component-Based Programming.	FASE	2001	DBLP DOI BibTeX RDF
10	John Havlicek	Computable Obstructions to Wait-Free Computability.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Decision tasks, Homology, Simplicial complexes, Wait-free computing
10	Arief Daynes	A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
10	Rajiv Bagai	Tuple Relational Calculus for Paraconsistent Databases.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Incomplete and inconsistent information, Tuple relational calculus, Relational data model
10	Ramesh Bharadwaj, Steve Sims	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.	TACAS	2000	DBLP DOI BibTeX RDF
10	Lotfi A. Zadeh	Toward a Perception-Based Theory of Probabilistic Reasoning.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
10	Ning Zhong 0001, Juzhen Dong, Chunnian Liu, Setsuo Ohsuga	A Hybrid Model for Rule Discovery in Data.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
10	João Balsa, José Gabriel Pereira Lopes	A Distributed Approach for a Robust and Evolving NLP System.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
10	Alessandra Di Pierro, Herbert Wiklicky	Measuring the Precision of Abstract Interpretations.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
10	N. S. Nagaraj, Andrzej J. Strojwas, Sani R. Nassif, Ray Hokinson, Tak Young, Wonjae L. Kang, David Overhauser, Sung-Mo Kang	When bad things happen to good chips (panel session).	DAC	2000	DBLP DOI BibTeX RDF
10	Oliver Lemon, Ian E. Pratt	Logics for geographic information.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
10	Brigitte Séroussi, Jacques Bouaud, Éric-Charles Antoine	Enhancing Clinical Practice Guideline Compliance by Involving Physicians in the Decision Process.	AIMDM	1999	DBLP DOI BibTeX RDF
10	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
10	Jung Jin Lee, Robert McCartney	Predicting User Actions Using Interface Agents with Individual User Models.	PRIMA	1999	DBLP DOI BibTeX RDF
10	Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang	A New Approach to Verify Rule-Based Systems Using Petri Nets.	COMPSAC	1999	DBLP DOI BibTeX RDF	Structural Error Detection, Petri Nets, Rule-Based Systems
10	Chih-Hung Wu	A Petri-net-based framework for representing and retrieving conception in case-based document writing.	KES	1999	DBLP DOI BibTeX RDF
10	Arcot Rajasekar	String-Oriented Databases.	SPIRE/CRIWG	1999	DBLP DOI BibTeX RDF	query processing, pattern-matching, datalog, relational algebra, approximate reasoning
10	Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon	Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	incremental specification, use case dependency analysis, Petri nets slice, Petri nets, requirements engineering, scenarios, Use cases
10	Gerd Kamp, Steffen Lange, Christoph Globig	Related Areas.	Case-Based Reasoning Technology	1998	DBLP DOI BibTeX RDF
10	Ning Zhong 0001, Juzhen Dong, Setsuo Ohsuga	Soft Techniques to Data Mining.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
10	Richard Statman	Morphisms and Partitions of V-sets.	CSL	1998	DBLP DOI BibTeX RDF
10	Cécile Capponi	Type Extensibility of a Knowledge Representation System with Powersets.	ISMIS	1997	DBLP DOI BibTeX RDF
10	Kurt Ammon	The Composition Heuristic.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
10	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
10	Peter Clark, Bruce W. Porter	Using Access paths to Guide Inference with Conceptual Graphs.	ICCS	1997	DBLP DOI BibTeX RDF
10	Jawed I. A. Siddiqi, M. Chandra Shekaran	Requirements Engineering: The Emerging Wisdom.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
10	Paolo Salvaneschi, Mauro Cadei, Marco Lazzari	Applying AI to Structural Safety Monitoring and Evaluation.	IEEE Expert	1996	DBLP DOI BibTeX RDF
10	Douglas L. Dean, Richard E. Orwig, Douglas R. Vogel	Facilitation Methods for use with EMS Tools to Enable Rapid Development of High Quality Business Process Models.	HICSS (3)	1996	DBLP DOI BibTeX RDF
10	Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco	Modeling and Improving an Industrial Software Process.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	process-centered software engineering environments (PSEEs), process modeling, Software process, process improvement, process assessment, process modeling languages
10	Deepak Kapur	An Automated Tool for Analyzing Completeness of Equational Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
10	Dirk Höltje, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Won-Kook Hong	Eliciting formal models of software engineering processes.	CASCON	1994	DBLP BibTeX RDF
10	Hakim Lounis	Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification.	ISMIS	1993	DBLP DOI BibTeX RDF	Revision Process, Machine Learning, Verification, Formal Specifications, Integrity Constraint, Production Rules, Semantic-Net
10	Chang-Yu Wang, Kishor S. Trivedi	Integration of Specification for Modeling and Specification for System Design.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
10	Ulrich Neumerkel	Pruning Infinite Failure Branches in Programs with Occur-Check.	LPAR	1992	DBLP DOI BibTeX RDF
10	Kurt Ammon	Automatic Proofs in Mathematical Logic and Analysis.	CADE	1992	DBLP DOI BibTeX RDF
10	Zohar Manna, Richard J. Waldinger	The Special-Relation Rules are Incomplete.	CADE	1992	DBLP DOI BibTeX RDF
10	Véronique Royer, Joachim Quantz	Deriving Inference Rules for Terminological Logics.	JELIA	1992	DBLP DOI BibTeX RDF
10	Dipayan Gangopadhyay, Thierry Barsalou	On the Semantic Equivalence of Heterogeneous Representations in Multimodel Multidatabase Systems.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF
10	Pascal Van Hentenryck, Yves Deville	Operational Semantics of Constraint Logic Programming over Finite Domains.	PLILP	1991	DBLP DOI BibTeX RDF
10	Staffan Bonnier	Unification in Incompletely Specified Theories: A Case Study.	MFCS	1991	DBLP DOI BibTeX RDF
10	Gheorghe Tecuci	A Multistrategy Learning Approach to Domain Modeling and Knowledge Acquisition.	EWSL	1991	DBLP DOI BibTeX RDF	rule and concept learning, knowledge acquisition, domain modeling, multistrategy learning
10	Antonio Brogi, Evelina Lamma, Paola Mello	Open Logic Theories.	ELP	1991	DBLP DOI BibTeX RDF
10	L. J. Chmura, Anthony F. Norcio, T. J. Wicinski	Evaluating Software Design Processes by Analyzing Change Data Over Time.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	software design processes evaluation, early design and code change data, software cost reduction, error-correction effort, stepwise growth, module interface updates, software engineering
10	Amit Gupta, Anindo Banerjea, Vikas Jha, Vineet Bafna, P. C. P. Bhatt	Parallel Implementation of Logic Languages.	CONPAR	1990	DBLP DOI BibTeX RDF
10	Michael Hanus	A Functional and Logic Language with Polymorphic Types (Extended Abstract).	DISCO	1990	DBLP DOI BibTeX RDF
10	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
10	Katherine A. Yelick, Joseph L. Zachary	Moded Type Systems for Logic Programming.	POPL	1989	DBLP DOI BibTeX RDF
10	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
10	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
10	Witold Lipski Jr.	On Semantic Issues Connected with Incomplete Information Databases.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	model logic, query language semantics, database, incomplete information, relational model, null values
10	Robert Cartwright, John McCarthy 0001	First Order Programming Logic.	POPL	1979	DBLP DOI BibTeX RDF
10	Edmund M. Clarke	Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.	POPL	1977	DBLP DOI BibTeX RDF
10	Noah S. Prywes	Automatic generation of computer programs.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF