KI 2004: Advances in Artificial Intelligence 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Biundo, Susanne (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Frühwirth, Thom (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Palm, Günther (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:1st ed. 2004.
Σειρά:Lecture Notes in Artificial Intelligence ; 3238
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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
  • 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.