KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings /

Saved in:
Bibliographic Details
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
Hidden Bibliographic Details
Other authors / contributors:Biundo, Susanne.
Frühwirth, Thom, 1962-
Palm, Günther.
ISBN:3540231668 (pbk.)
Notes:Includes bibliographical references and index.
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