Ingrid Russell, John F. Kolen (Eds.):
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA.
AAAI Press 2001, ISBN 1-57735-133-9 
Artificial Intelligence and Electronic Commerce
Artificial Intelligence in Aerospace
- Murray B. Anderson:
An Automated Approach to Post-Flight Simulation Analysis and Validation Using Stochastic Optimization Methods.
19-23
- William J. Clancey, Pascal Lee, Maarten Sierhuis:
Empirical Requirements Analysis for Mars Surface Operations Using the Flashline Mars Arctic Research Station.
24-26
- Miranda Cooter, George Davis, Jennifer Mackey, Michael Rackley:
Alternative Approaches to Mission Control Automation at NASA's Goddard Space Flight Center.
27-32
- Tara A. Estlin, Rebecca Castaño, Ashley Davies, Darren Mutz, Gregg Rabideau, Steve A. Chien, Eric Mjolsness:
Goal-Directed Scientific Exploration Using Multiple Rovers.
33-37
- Glenn Gebert, Murray Anderson, Johnny Evers:
Genetic Algorithms Training of Neural Nets for Aircraft Guidance and Control.
38-43
- Mark L. Hanson, Olga Sullivan, Karen A. Harper:
On-Line Situation Assessment for Unmanned Air Vehicles.
44-48
- Henry Hexmoor, Harry Duchscherer:
Efficiency as a Motivation to Team.
49-52
- Lori Maks, Julie Breed, Michael Rackley:
Current Level of Mission Control Automation at NASA Goddard Space Flight Center.
53-57
- John L. Mohammed:
Mission Planning for Formation-Flying Satellite Cluster.
58-62
- Joseph B. Mueller, Derek M. Surka, Joy J. Lin:
A Background Layer of Health Monitoring and Error Handling for ObjectAgent.
63-67
- Robert A. Richards, Ryan T. Houlette, John L. Mohammed:
Distributed Satellite Constellation Planning and Scheduling.
68-72
- Rob Sherwood, Andrew Mishkin, Tara A. Estlin, Steve A. Chien, Barbara Engelhardt, Brian Cooper, Gregg Rabideau:
A Tool for Autonomous Ground-Based Rover Planning.
73-77
- Ross Wainwright:
Using the Genetic Algorithm to Locate Optimal Bi-Phase Waveforms for Pulse Compression Radar.
78-82
- Walt Truszkowski, Nick Netreba, Don Ginn, Sanda Mandutianu:
Autonomy for SOHO Ground Operations.
83-88
- John A. Cafeo, Diane I. Gibbons, Ronald M. Lesperance, Alexander P. Morgan, Gülcin H. Sengir, Andrea M. Simon:
Capturing Lessons Learned for Variation Reduction in an Automotive Assembly Plant.
89-92
- William Cheetham, Anil Varma, Kai Goebel:
Case-Based Reasoning at General Electric.
93-97
- Susan Eileen Fox:
Behavior Retrieval for Robot Control in a Unified CBR Hybrid Planner.
98-102
- Luigi Portinale, Andrea Verrua:
Exploiting Fuzzy-SQL in Case-Based Reasoning.
103-107
- Leonardo Rocha de Oliveira:
Virtual Reality Case-Based Reasoning: A Framework for Computer-Based Instruction.
108-112
- Marc Sebban, Richard Nock:
Improvement of Nearest-Neighbor Classifiers via Support Vector Machines.
113-117
- Ian Watson:
Knowledge Management and Case-Based Reasoning: A Perfect Match?.
118-122
Data Mining and the World Wide Web
Decision Analysis and Models
Genetic Algorithms
Human-Computer Interaction/Intelligent User Interface
Intelligent Agents
Intelligent Tutoring Systems
- Diane J. Cook, Lawrence B. Holder:
A Client-Server Interactive Tool for Integrated Artificial Intelligence Curriculum.
206-210
- Bruce I. Mills:
Using the Atlas Planning Engine to Drive an Intelligent Tutoring System: CIRCSIM-Tutor Version 3.
211-215
Knowledge-Based Systems
Knowledge Discovery and Data Mining
- Hideo Bannai, Yoshinori Tamada, Osamu Maruyama, Kenta Nakai, Satoru Miyano:
Views: Fundamental Building Blocks in the Process of Knowledge Discovery.
233-238
- Daniel Barbará, Ping Chen:
Tracking Clusters in Evolving Data Sets.
239-243
- Leah Findlater, Howard J. Hamilton:
An Empirical Comparison of Methods for Iceberg-CUBE Construction.
244-248
- Gunter Grieser, Steffen Lange:
Learning Approaches to Wrapper Induction.
249-253
- Jörg Herrmann:
Syntactic Folding and its Application to the Information Extraction from Web Pages.
254-258
- Jyothsna R. Nayak, Diane J. Cook:
Approximate Association Rule Mining.
259-263
- Hiroshi Sakamoto, Yoshitsugu Murakami, Hiroki Arimura, Setsuo Arikawa:
Extracting Partial Structures from HTML Documents.
264-268
- Choh-Man Teng:
A Comparison of Noise Handling Techniques.
269-273
Knowledge Management
- Irma Becerra-Fernandez, Karen McCarthy, Juan Rodriguez:
An Infrastructure for Managing Knowledge Using Intelligent Workflow.
275-279
- Irma Becerra-Fernandez, Juan Rodriguez:
Web Data Mining Techniques for Expertise-Locator Knowledge Management Systems.
280-285
- Alberto J. Cañas, David B. Leake, Ana Gabriela Maguitman:
Combining Concept Mapping with CBR: Towards Experience-Based Support for Knowledge Modeling.
286-290
- Purnima Chandrasekaran, Anupam Joshi, Michelle Shu Yang, Ramya Ramakrishnan:
An Expertise Recommender Using Web Mining.
291-294
- Ludger van Elst, Andreas Abecker:
Integrating Task, Role, and User Modeling in Organizational Memories.
295-299
- Vipul Kashyap, Siddhartha R. Dalal, Clifford Behrens:
Professional Services Automation: A Knowledge Management Approach Using LSI and Domain Specific Ontologies.
300-304
- Martin S. Lacher, Georg Groh:
Facilitating the Exchange of Explicit Knowledge through Ontology Mappings.
305-309
- Mark T. Maybury:
Knowledge on Demand: Human Language Technology for Knowledge and Expertise Discovery.
310-314
- Fatma Mili, L. Blackwell, A. Gokani:
Multi-Disciplinary Perspective on Knowledge Quality: Dimensions of Knowledge Quality.
315-319
- Massoud Moussavi, Robert Najlis:
Assessing the Effectiveness of LSI in Approaching the Intention of a User's Query.
320-323
- Borys Omelayenko:
Syntactic-Level Ontology Integration Rules for E-Commerce.
324-328
- Ian Watson:
A Decision Support System for Local Government Regulatory Advice.
329-333
- Rosina Weber, Len Breslow, Nabil Sandhu:
On the Technological, Human, and Managerial Issues in Sharing Organizational Lessons.
334-338
Knowledge Representation and Problem Solving
Machine Learning
- Tolga Aydin, H. Altay Güvenir:
An Eager Regression Method Based on Selecting Appropriate Features.
361-366
- Arindam Basak, Sudeshna Sarkar:
Introducing Local Optimization for Effective Initialization and Crossover of Genetic Decision Trees.
367-371
- Floriana Esposito, Donato Malerba, Francesca A. Lisi:
Multiple Predicate Learning for Document Image Understanding.
372-376
- Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook:
Graph-Based Concept Learning.
377-381
- Dorin Marcu, Mihai Boicu, Gheorghe Tecuci:
User-Agent Interactions in Mixed-Initiative Learning.
382-388
- Zdravko Markov:
A Lattice-Based Approach to Hierarchical Clustering.
389-393
- David W. Patterson, Sarabjot S. Anand, John G. Hughes:
Skill Refinement through Competence Feedback.
394-401
- Stephan Schulz:
Information-Based Selection of Abstraction Levels.
402-406
- Alexander K. Seewald, Johann Petrak, Gerhard Widmer:
Hybrid Decision Tree Learners with Alternative Leaf Classifiers: An Empirical Study.
407-411
- Muhammad Afzal Upal:
Learning Plan Rewriting Rules.
412-416
Natural Language Processing
- Roxana Girju, Dan I. Moldovan:
Knowledge Acquisition for Question Answering.
418-422
- Udo Hahn, Martin Romacker:
Computing in Formal Knowledge Base Contexts for Natural Language Ambiguity Resolution.
423-427
- Susan M. Haller, Timothy V. Fossum:
The Association Between Subject Matter and Discourse Segmentation.
428-432
- Charles Hannon, Diane J. Cook:
Exploring the Use of Cognitive Models in AI Applications Using the Stroop Effect.
433-438
- Sanda M. Harabagiu, Razvan C. Bunescu:
Data-Driven Coreference Resolution.
439-443
- Sanda M. Harabagiu, Marius Pasca, V. Finley Lacatusu:
Dialogue Management for Interactive Question Answering.
444-448
- Sanda M. Harabagiu, Mihai Surdeanu, Paul Morarescu:
Automatic Discovery of Linguistic Patterns for Information Extraction.
449-453
- Rada Mihalcea, Dan I. Moldovan:
EZ.WordNet: Principles for Automatic Generation of a Coarse Grained WordNet.
454-458
- Dan I. Moldovan, Vasile Rus:
Transformation of WordNet Glosses into Logic Forms.
459-463
Neural Network and Fuzzy Logic Applications
- Brian Carse, Anthony G. Pipe:
A Framework for Evolving Fuzzy Classifier Systems Using Genetic Programming.
465-469
- S. A. Dolenko, I. V. Boychuk, I. V. Churina, Tatiana A. Dolenko, Victor V. Fadeev, I. G. Persiantsev, Brian Carse:
Solution of Inverse Problems in Laser Spectroscopy of Water Media with the Help of Neural Networks.
470-474
- S. A. Dolenko, Yu. V. Orlov, I. G. Persiantsev, Ju. S. Shugai, Anthony G. Pipe:
Time Series Analysis Using Unsupervised Construction of Hierarchical Classifiers.
475-479
- DaeEun Kim, Sea Woo Kim:
Decision Tree Rule Reduction Using Linear Classifiers in Multilayer Perceptron.
480-484
- Anthony S. Maida, Benjamin A. Rowland, Cengiz Günay:
Synchronized Firing in a Time-Delayed Neural Network.
485-488
- George E. Nasr, E. A. Badr, M. R. Younes:
Neural Networks in Forecasting Electrical Energy Consumption.
489-492
- Anthony G. Pipe, Brian Carse:
"Michigan" and "Pittsburgh" Fuzzy Classifier Systems for Learning Mobile Robot Control Rules: An Experimental Comparison.
493-497
Niche Autonomous Robots
Optimization
- Timothy Huang, Yuriy Nevmyvaka:
A Practical Markov Chain Monte Carlo Approach to Decision Problems.
520-524
- Eugene Santos Jr.:
A Computational Model for Portfolios of Cooperative Heterogeneous Algorithms for Discrete Optimization.
525-529
Robotics
Spatiotemporal Reasoning
Uncertainty
- Mats Danielson, Love Ekenberg:
Symmetry in Decision Evaluation.
575-579
- Christopher W. Geib, Robert P. Goldman:
Probabilistic Plan Recognition for Hostile Agents.
580-584
- Anders L. Madsen, Kristian G. Olesen, Søren L. Dittmer:
Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations.
585-590
- Andy Novobilski, Farhad Kamangar:
Absolute Percent Error Based Fitness Functions for Evolving Forecast Models.
591-595
- Kristian G. Olesen, Anders L. Madsen:
Maximal Prime Subgraph Decomposition of Bayesian Networks.
596-601
- Paul Snow:
The Disappearance of Equation Fifteen, a Richard Cox Mystery.
602-606
- Haiqin Wang, Denver Dash, Marek J. Druzdzel:
A Method for Evaluating Elicitation Schemes for Probabilities.
607-612
- Y. Xiang, X. An:
Generating Dependence Structure of Multiply Sectioned Bayesian Networks.
613-618
- Ronald R. Yager:
A General Approach to Uncertainty Representation Using Fuzzy Measures.
619-623
Verification, Validation, and System Certification
- Valerie Barr:
A Quagmire of Terminology: Verification and Validation, Testing, and Evaluation.
625-629
- Klaus P. Jantke, Oliver Keller:
Secure Systems Development -- The Evolving Integration of Validation and Verification.
630-634
- Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke:
The Character of Human Behavior Representation and Its Impact on the Validation Issue.
635-639
- Andreas Nonnengart, Georg Rock, Werner Stephan:
Using Hybrid Automata to Express Realtime Properties in VSE-II.
640-644
- Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.
645-649
- Setsuo Tsuruta, Takashi Onoyama:
Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method.
650-654
- Neli Zlatareva:
Improving Knowledge-Based System Performance by Reordering Rule Sequences .
655-659
Last update Sun May 19 22:15:53 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
