KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings /
Saved in:
Meeting name: | German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany) |
---|---|
Imprint: | Berlin ; New York : Springer, c2004. |
Description: | xi, 465 p. : ill. ; 24 cm. |
Language: | English |
Series: | Lecture notes in computer science. Lecture notes in artificial intelligence ; 3238 Lecture notes in computer science ; 3238. Lecture notes in computer science. Lecture notes in artificial intelligence. |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5374673 |
Table of Contents:
- Invited Talks
- Automated Reasoning Tools for Molecular Biology
- ¿Mega: Computer Supported Mathematics
- An Overview of Planning Technology in Robotics
- SmartWeb: Mobile Applications of the Semantic Web
- Machine Learning for Autonomous Robots
- Natural Language Processing
- Generation of Sentence Parse Trees Using Parts of Speech
- Application of Machine Learning Techniques to the Re-ranking of Search Results
- A Pragmatics-First Approach to the Analysis and Generation of Dialogues
- Hybrid Natural Language Generation in a Spoken Language Dialog System
- Error-Tolerant Finite-State Lookup for Trademark Search
- Knowledge Representation and Ontologies
- Mining Hierarchical Temporal Patterns in Multivariate Time Series
- Using Behavioral Knowledge for Situated Prediction of Movements
- Integration of Manual and Automatic Text Categorization.
- A Categorization Workbench for Text-Based Email and Spam
- Model Based Deduction for Database Schema Reasoning
- Planning and Search
- Applying Automatic Planning Systems to Airport Ground-Traffic Control - A Feasibility Study
- Generalizing the Relaxed Planning Heuristic to Non-linear Tasks
- Decision-Theoretic Planning for Playing Table Soccer
- External A*
- Neural Networks and Machine Learning
- Combining Recurrent Neural Networks and Support Vector Machines for Structural Pattern Recognition
- Genre Classification of Web Pages
- Integration of Statistical and Neural Methods to Design Classifiers in Case of Unequal Covariance Matrices
- Semiring Artificial Neural Networks and Weighted Automata.
- And an Application to Digital Image Encoding
- A New Method to Fit a Linear Regression Model for Interval-Valued Data
- Reasoning
- Specifying Abnormal Action Qualifications with Sensing in FLUX
- On-Line Decision-Theoretic Golog for Unpredictable Domains
- Relation Variables in Qualitative Spatial Reasoning
- Default Reasoning over Domains and Concept Hierarchies
- Improving Fault Localization of Programs by Using Labeled Dependencies
- Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study
- Modeling of Tutoring Processes in Intelligent Tutoring Systems
- Robotics and Machine Perception
- A New Method for Asynchronous Multisensor Information Fusion
- Adaptive Vision for Playing Table Soccer
- Shape-Based Robot Mapping
- Vision-Based Facial and Eye Gaze Tracking System
- Author Index