default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th FLAIRS Conference 2000: Orlando, Florida, USA
- James N. Etheredge, Bill Z. Manaris:
Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. AAAI Press 2000, ISBN 1-57735-113-4
Artificial Intelligence Applications
- Fernando G. Gonzalez, Patrick Grejs, Avelino J. Gonzalez:
Autonomous Automobile Behavior through Context-Based Reasoning. 2-6 - Sigrid Gürgens, René Peralta:
Validation of Cryptographic Protocols by Efficient Automated Testing. 7-12 - Ortrun Ibens:
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. 13-17 - Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
The SH-Verification Tool. 18-22 - Bryan Pardo, William P. Birmingham:
Automated Partitioning of Tonal Music. 23-27 - Xiaomin Zhong, Eugene Santos Jr.:
Using Genetic Algorithms to Solve the Tactical Fixed Interval Scheduling Problem. 28-32
Artificial Intelligence in Instructional Software
- Joseph E. Beck, Beverly Park Woolf:
Reasoning from Data Rather than Theory. 34-39 - Adrian Gordon, Lynne E. Hall:
Actively Supporting Collaboration in Virtual Learning Environments. 40-44 - Chun Wai Liew, Joel A. Shapiro, Donald E. Smith:
What is Wrong with this Equation? Error Detection and Feedback with Physics Equations. 45-49 - Lisa N. Michaud, Kathleen F. McCoy:
Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar. 50-54 - Christoph Peylo, Wilfried Teiken, Claus-Rainer Rollinger, Helmar Gust:
An Ontology as Domain Model in a Web-Based Educational System for Prolog. 55-59 - Feng-Jen Yang, Jung Hee Kim, Michael Glass, Martha W. Evens:
Turn Planning in CIRCSIM-Tutor. 60-64
Classification
- Mark D. Happel, Peter Bock:
Overriding the Experts: A Stacking Method for Combining Marginal Classifiers. 66-70 - Richard Nock, Marc Sebban:
A Boosting-Based Prototype Weighting and Selection Scheme. 71-75 - Yani Zhang, Changyun Wen, Ying Zhang:
Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features. 76-80
Data Mining
- Andi Baritchi, Diane J. Cook, Lawrence B. Holder:
Discovering Structural Patterns in Telecommunications Data. 82-85 - Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook:
Structural Knowledge Discovery Used to Analyze Earthquake Activity. 86-90 - Istvan Jonyer, Lawrence B. Holder, Diane J. Cook:
Graph-Based Hierarchical Conceptual Clustering. 91-95
Genetic Algorithms
- Keeley A. Crockett, Zuhair Bandar, Akeel Al-Attar:
A Fuzzy Algorithm for the Efficient Utilization of Information in Decision Trees. 97-101 - William A. Greene:
Partitioning Sets with Genetic Algorithms. 102-106 - Eunice E. Santos, Eugene Santos Jr.:
Cache Diversity in Genetic Algorithm Design. 107-111
Information Retrieval
- John K. Debenham:
The Degradation of Knowledge Base Integrity. 113-117 - Dawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung Cheng:
Fundamental Properties of the Core Matching Functions for Information Retrieval. 118-122
Intelligent Agents
- Jesus Boticario, Elena Gaudioso:
A Multiagent Architecture to Support Distance Learning Personalization on the Web. 124-127 - Madhu Goyal, N. Parameswaran:
A Coherent Teamwork Model in a Dynamic Environment. 128-132 - Henry Hexmoor:
Resolving Conflicts Among Actions in Concurrent Behaviors. 133-136 - Roger L. Norton, S. Rebecca Thomas:
Domain Semantics for Agent-Oriented Programming. 137-143 - James J. Pomykalski, James Madison:
Using Learning in a Control Agent. 144-148 - Lance Self:
Use of Data Mining on Satellite Data Bases for Knowledge Extraction. 149-152
Knowledge Management
- Irma Becerra-Fernandez, Helen Stewart, Martha Del Alto, Chris Knight:
Developing an Advanced Environment for Collaborative Computing. 154-158 - Fatma Mili, Krish Narayanan, Vamsi Atluri:
Defining and Monitoring Knowledge Integrity. 159-165 - Francis D. Tuggle, Nancy C. Shaw:
The Effect of Organizational Culture on the Implementation of Knowledge Management. 166-169 - Rosina Weber, David W. Aha, Karl Branting, J. Robert Lucas, Irma Becerra-Fernandez:
Active Case-Based Reasoning for Lessons Delivery System. 170-174
Knowledge Representation
- Sandro Coimbra Assis, Flávio Miguel Varejão, Ana Cristina Bicharra Garcia:
HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents. 176-180 - Ioannis Hatzilygeroudis, Jim Prentzas:
Producing Modular Hybrid Rule Bases for Expert Systems. 181-185 - Gregory Johnson Jr., Eugene Santos Jr.:
Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge. 186-190
Machine Learning
- Jeffrey Coble, Diane J. Cook:
Real-Time Learning when Concepts Shift. 192-196 - Zdravko Markov:
An Algebraic Approach to Inductive Learning. 197-201
Natural Language Processing
- Reva Freedman:
Using a Reactive Planner as the Basis for a Dialogue Agent. 203-208 - Charles Hannon, Diane J. Cook:
A Parallel Approach to Modeling Language Learning and Understanding in Young Children. 209-213 - Sanda M. Harabagiu, Marius Pasca:
Mining Textual Answers with Knowledge-Based Indicators. 214-218 - Rada Mihalcea, Dan I. Moldovan:
An Iterative Approach to Word Sense Disambiguation. 219-223 - Dan I. Moldovan, Roxana Girju:
Domain-Specific Knowledge Acquisition and Classification Using WordNet. 224-228
Neural Networks
- Matthew V. Mahoney:
Fast Text Compression with Neural Networks. 230-234 - Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny Scardino, William Douglas:
Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem. 235-239 - Fadzilah Siraj, Derek Partridge:
Systematic Treatment of Failures Using Multilayer Perceptrons. 240-244
Spacecraft Autonomy
- Henry Hexmoor:
Case Studies of Autonomy. 246-249 - Thomas P. Schetter, Mark E. Campbell, Derek M. Surka:
Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21). 250-259 - Ross H. Wainwright:
Ground-Based Control of a Satellite Cluster. 260-264
Spatiotemporal Reasoning
- Hans W. Guesgen, Jochen Albrecht, Stefi Grundner:
Erosion Modeling in a Raster-Based GIS with Fuzzy Logic. 266-270 - Kathleen Hornsby:
Deriving Summaries Through an Identity-Based Approach. 271-275 - Maria do Carmo Nicoletti, Jane Brennan:
Learning to Transfer Knowledge between Reference Systems. 276-280
Uncertain Reasoning
- Olav Bangsø, Pierre-Henri Wuillemin:
Top-Down Construction and Repetetive Structures Representation in Bayesian Networks. 282-286 - Jian Cheng, Marek J. Druzdzel:
Latin Hypercube Sampling in Bayesian Networks. 287-292 - Hongyu Geng, Yang Xiang:
Distributed Multi-Agent MSBN: Implementing Verification. 293-297 - Andrew J. Novobilski, Farhad Kamangar:
Inferencing Bayesian Networks from Time Series Data Using Natural Selection. 298-302 - Silja Renooij, Linda C. van der Gaag, Shaw Green, Simon Parsons:
Zooming in on Trade-Offs in Qualitative Probabilistic Networks. 303-307 - Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Rosen:
Independence Semantics for BKBs. 308-312 - Håkan L. S. Younes, Love Ekenberg:
A Deterministic Algorithm for Solving Imprecise Decision Problems. 313-317
Verification, Validation, and System Certification
- Volker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange:
Formal Concepts of Learning Systems Validation in Use. 319-324 - Volker Dötsch, Klaus P. Jantke:
TIC - A Toolkit for Valication in Formal Language Learning. 325-330 - Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke:
Towards Validation of Rule-Based Systems - The Loop is Closed. 331-335 - Bruno Langenstein, Roland Vogt, Markus Ullmann:
The Use of Formal Methods for Trusted Digital Signature Devices. 336-340 - Heiko Mantel, Felix C. Gärtner:
A Case Study in the Mechanical Verification of Fault Tolerance. 341-345 - Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
Verification of Cooperating Systems - An Approach Based on Formal Languages. 346-350 - Uwe Petermann:
Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. 351-355 - Werner Stephan, Georg Rock, Michael Brodski:
Modeling Specification and Verification of an Emergency Closing System. 356-360 - Setsuo Tsuruta, Takashi Onoyama, Sen Kubota, Kazuko Oyanagi:
Validation Method for Intelligent Systems. 361-365
Tutorial
- Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt:
Formal Software Development in the Verification Support Environment (VSE). 367-376
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-09 21:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
