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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(2), pp. 457-473, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(6), pp. 1512-1521, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 206-209, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Alistair Fletcher, John Davis |
Dialectical Evidence Assembly for Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings, pp. 100-113, 2003, Springer, 3-540-20293-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Christian Denger, Daniel M. Berry, Erik Kamsties |
Higher Quality Requirements Specifications through Natural Language Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: 2003 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel, pp. 80-, 2003, IEEE Computer Society, 0-7695-2047-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, pp. 366-377, 2003, Springer, 3-540-20257-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Agnieszka Dardzinska, Zbigniew W. Ras |
CHASE2 - Rule Based Chase Algorithm for Information Systems of Type lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Active Mining ![In: Active Mining, Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers, pp. 255-267, 2003, Springer, 3-540-26157-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero |
Initializability analysis of synchronous sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 7(2), pp. 249-264, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 6(2), pp. 92-115, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: 3rd International Conference on Web Information Systems Engineering, WISE 2002, Singapore, December 12-14, 2002, Proceedings, pp. 182-191, 2002, IEEE Computer Society, 0-7695-1766-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Dusan Guller |
Procedural Semantics for Fuzzy Disjunctive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings, pp. 247-261, 2002, Springer, 3-540-00010-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web, Web-Services, and Database Systems ![In: Web, Web-Services, and Database Systems, NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers, pp. 34-45, 2002, Springer, 3-540-00745-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
COTS selection, Components, Reuse, requirements, decision support, integrated framework |
10 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | R. Djelouah, Béatrice Duval, Stéphane Loiseau |
Validation and Reparation of Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 312-320, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 422-429, 2002, Springer, 3-540-00188-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Capturing Parallel Attacks within the Data Independence Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada, pp. 147-159, 2002, IEEE Computer Society, 0-7695-1689-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Martin S. Feather, Tim Menzies |
Converging on the Optimal Attainment of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pp. 263-272, 2002, IEEE Computer Society, 0-7695-1465-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 255-264, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Tim Menzies, David Owen 0002, Bojan Cukic |
Saturation Effects in Testing of Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA, pp. 15-26, 2002, IEEE Computer Society, 0-7695-1763-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Joseph D. Touch |
Peer Networks - High-Speed Solution or Challenge? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocols for High-Speed Networks ![In: Protocols for High Speed Networks, 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002, Proceedings, pp. 228, 2002, Springer, 3-540-43658-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Hao Lin, Zhibiao Zhao, Hongchen Li, Zhiguo Chen |
A Novel Graph Reduction Algorithm to Identify Structural Conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 289, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 105-115, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 18th Annual Computer Security Applications Conference (ACSAC 2002), 9-13 December 2002, Las Vegas, NV, USA, pp. 185-195, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 6(1), pp. 63-73, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Goal-based requirements engineering, Use cases, Requirements specification |
10 | Russell J. Deaton, Max H. Garzon |
Fuzzy logic with biomolecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(1), pp. 2-9, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Zofia Adamowicz, Pawel Zbierski |
On Herbrand consistency in weak arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(6), pp. 399-413, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Judith Klavans, Smaranda Muresan |
Evaluation of DEFINDER: a system to mine definitions from consumer-oriented medical text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings, pp. 201-202, 2001, ACM, 1-58113-345-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 137-154, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo |
Collaborative Information Filtering by Using Categorized Bookmarks on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 237-250, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Charu C. Aggarwal, Srinivasan Parthasarathy 0001 |
Mining massively incomplete data sets by conceptual reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining, San Francisco, CA, USA, August 26-29, 2001, pp. 227-232, 2001, ACM, 1-58113-391-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Gerhard Brewka |
On the Relationship between Defeasible Logic and Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 121-132, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Sanjay Modgil, Peter Hammond |
Generating Symbolic and Natural Language Partial Solutions for Inclusion in Medical Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIME ![In: Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings, pp. 239-248, 2001, Springer, 3-540-42294-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Francine Merat-Bodin, Tahar Hakim Benchekroun |
Analysis and Modeling of Cooperative Processes in Dynamic and Complex Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2001, July 12-14, 2001, London, Ontario, Canada, pp. 530-535, 2001, IEEE, 0660184931. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Martin Sulzmann |
A General Type Inference Framework for Hindley/Milner Style Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings, pp. 248-263, 2001, Springer, 3-540-41739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ralf-Dieter Schimkat, Michael Friedrich 0002, Wolfgang Küchlin |
Deploying Distributed State Information in Mobile Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings, pp. 80-94, 2001, Springer, 3-540-42524-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Piccinelli, Leonid Mokrushin |
Dynamic e-Service Composition in DySCo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings, pp. 88-96, 2001, IEEE Computer Society, 0-7695-1080-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Paola Inverardi, Sebastián Uchitel |
Proving Deadlock Freedom in Component-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 60-75, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | John Havlicek |
Computable Obstructions to Wait-Free Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(2), pp. 59-83, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 39(8), pp. 581-598, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Rajiv Bagai |
Tuple Relational Calculus for Paraconsistent Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA-SBIA ![In: Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, Proceedings, pp. 409-416, 2000, Springer, 3-540-41276-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 378-394, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Lotfi A. Zadeh |
Toward a Perception-Based Theory of Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 46-48, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Ning Zhong 0001, Juzhen Dong, Chunnian Liu, Setsuo Ohsuga |
A Hybrid Model for Rule Discovery in Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 436-444, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | João Balsa, José Gabriel Pereira Lopes |
A Distributed Approach for a Robust and Evolving NLP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language Processing ![In: Natural Language Processing - NLP 2000, Second International Conference, Patras, Greece, June 2-4, 2000, Proceedings, pp. 151-161, 2000, Springer, 3-540-67605-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alessandra Di Pierro, Herbert Wiklicky |
Measuring the Precision of Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR (LNCS 2042: Selected Papers) ![In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers., pp. 147-164, 2000, Springer, 3-540-42127-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 736-737, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Oliver Lemon, Ian E. Pratt |
Logics for geographic information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 1(1), pp. 75-90, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMDM ![In: Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999, Proceedings, pp. 76-85, 1999, Springer, 3-540-66162-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Zhenyu Qian |
A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Syntax and Semantics of Java ![In: Formal Syntax and Semantics of Java, pp. 271-312, 1999, Springer, 3-540-66158-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Jung Jin Lee, Robert McCartney |
Predicting User Actions Using Interface Agents with Individual User Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Approaches to Intelligent Agents, Second Pacific Rim International Workshop on Multi-Agents, PRIMA '99, Kyoto, Japan, December 2-3, 1999, Proceedings, pp. 154-169, 1999, Springer, 3-540-66823-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 462-467, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Third International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES 1999, Adelaide, South Australia, 31 August - 1 September 1999, Proceedings, pp. 484-487, 1999, IEEE, 0-7803-5578-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Arcot Rajasekar |
String-Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE/CRIWG ![In: Sixth International Symposium on String Processing and Information Retrieval and Fifth International Workshop on Groupware, SPIRE/CRIWG 1999, Cancun, Mexico, September 21-24, 1999, pp. 158-167, 1999, IEEE Computer Society, 0-7695-0268-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(12), pp. 1115-1130, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning Technology ![In: Case-Based Reasoning Technology, From Foundations to Applications, pp. 327-351, 1998, Springer, 3-540-64572-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Ning Zhong 0001, Juzhen Dong, Setsuo Ohsuga |
Soft Techniques to Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, First International Conference, RSCTC'98, Warsaw, Poland, June 22-26, 1998, Proceedings, pp. 231-238, 1998, Springer, 3-540-64655-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Richard Statman |
Morphisms and Partitions of V-sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 313-322, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Cécile Capponi |
Type Extensibility of a Knowledge Representation System with Powersets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 338-347, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Kurt Ammon |
The Composition Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Foundations of Computer Science: Potential - Theory - Cognition ![In: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday, pp. 437-444, 1997, Springer, 3-540-63746-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Olivier Roussel, Philippe Mathieu |
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 161-175, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Peter Clark, Bruce W. Porter |
Using Access paths to Guide Inference with Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 521-535, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Jawed I. A. Siddiqi, M. Chandra Shekaran |
Requirements Engineering: The Emerging Wisdom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(2), pp. 15-19, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Paolo Salvaneschi, Mauro Cadei, Marco Lazzari |
Applying AI to Structural Safety Monitoring and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(4), pp. 24-34, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 472-481, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco |
Modeling and Improving an Industrial Software Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 440-454, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 28-43, 1994, ACM, 0-89791-683-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 28, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
10 | Hakim Lounis |
Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 405-414, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 473-492, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Neumerkel |
Pruning Infinite Failure Branches in Programs with Occur-Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 172-177, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Kurt Ammon |
Automatic Proofs in Mathematical Logic and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 4-19, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Zohar Manna, Richard J. Waldinger |
The Special-Relation Rules are Incomplete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 492-506, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Véronique Royer, Joachim Quantz |
Deriving Inference Rules for Terminological Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 84-105, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Dipayan Gangopadhyay, Thierry Barsalou |
On the Semantic Equivalence of Heterogeneous Representations in Multimodel Multidatabase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 20(4), pp. 35-39, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Van Hentenryck, Yves Deville |
Operational Semantics of Constraint Logic Programming over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 395-406, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Staffan Bonnier |
Unification in Incompletely Specified Theories: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 84-92, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Gheorghe Tecuci |
A Multistrategy Learning Approach to Domain Modeling and Knowledge Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWSL ![In: Machine Learning - EWSL-91, European Working Session on Learning, Porto, Portugal, March 6-8, 1991, Proceedings, pp. 14-32, 1991, Springer, 3-540-53816-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings, pp. 73-88, 1991, Springer, 3-540-55498-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(7), pp. 729-740, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 90 - VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990, Proceedings, pp. 154-165, 1990, Springer, 3-540-53065-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Michael Hanus |
A Functional and Logic Language with Polymorphic Types (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 215-224, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Pankaj Jalote |
Testing the Completeness of Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 526-531, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 116-124, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 201-206, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
10 | Alan J. Demers, James E. Donahue |
"Type-Completeness" as a Language Design Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 234-244, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
10 | Witold Lipski Jr. |
On Semantic Issues Connected with Incomplete Information Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 4(3), pp. 262-296, 1979. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 68-80, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
10 | Edmund M. Clarke |
Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 10-20, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
10 | Noah S. Prywes |
Automatic generation of computer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1977 National Computer Conference, June 13-16, 1977, Dallas, Texas, USA, pp. 679-689, 1977, AFIPS Press, 978-1-4503-7914-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|