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 |
|