KI 2012: Advances in artificial intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings /
This book constitutes the refereed proceedings of the 35th Annual German Conference on Artificial Intelligence, KI 2012, held in Saarbrücken, Germany, in September 2012. The 19 revised full papers presented together with 9 short papers were carefully reviewed and selected from 57 submissions. The pa...
| Corporate Authors: | German Conference on Artificial Intelligence Saarbrücken, Germany) |
|---|---|
| Other Authors: | German Conference on Artificial Intelligence, Glimm, Birte., Krüger, Antonio., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2012.
Berlin ; New York : [2012] |
| Physical Description: |
1 online resource. |
| Series: |
Lecture notes in computer science. Lecture notes in artificial intelligence ;
7526. LNCS sublibrary. Artificial intelligence. |
| Subjects: |
Table of Contents:
- Verification of Behaviour Networks Using Finite-State Automata /
- Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz and Karsten Berns
- Formal Semantics of Model Fields in Annotation-Based Specifications /
- Bernhard Beckert and Daniel Bruns
- Searching with Partial Belief States in General Games with Incomplete Information /
- Stefan Edelkamp, Tim Federholzner and Peter Kissmann
- A Machine-Learning Framework for Hybrid Machine Translation /
- Christian Federmann
- Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals /
- Marc Finthammer and Christoph Beierle
- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People /
- Ben Hennig and Norbert Reithinger
- PAC-Learning with General Class Noise Models /
- Shahin Jabbari, Robert C. Holte and Sandra Zilles
- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning /
- Jens Kessler, Jürgen Strobel and Horst-Michael Gross.
- Unsupervised Nearest Neighbors with Kernels /
- Oliver Kramer
- A Compact Encoding of Pseudo-Boolean Constraints into SAT /
- Steffen Hölldobler, Norbert Manthey and Peter Steinke
- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent /
- Nikita Mattar and Ipke Wachsmuth
- Clustering Based on Density Estimation with Sparse Grids /
- Benjamin Peherstorfer, Dirk Pflüger and Hans-Joachim Bungartz
- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning /
- Marvin R.G. Schiller and Fernand R. Gobet
- Plan Recognition by Program Execution in Continuous Temporal Domains /
- Christoph Schwering, Daniel Beck, Stefan Schiffer and Gerhard Lakemeyer
- Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data /
- Christian Vollmer, Julian P. Eggert and Horst-Michael Gross
- Nogoods in Qualitative Constraint-Based Reasoning /
- Matthias Westphal and Julien Hué
- Stochastic Gradient Descent with GPGPU /
- David Zastrau and Stefan Edelkamp.
- Improved Query Suggestion by Query Search /
- Xiaomin Zhang, Sandra Zilles and Robert C. Holte
- Knowledge-Base Revision Using Implications as Hypotheses /
- Özgür Lütfü Özçep
- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation /
- Sangkyun Lee
- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering /
- David Münch, Eckart Michaelsen and Michael Arens
- Ontology-Based Information Extraction for French Newspaper Articles /
- Kamel Nebhi
- Semantic Approach to Identity in Coreference Resolution Task /
- Maciej Ogrodniczuk and Magdalena Zawisławska
- Matching Points of Interest from Different Social Networking Sites /
- Tatjana Scheffler, Rafael Schirru and Paul Lehmann
- Semi-analytic Natural Number Series Induction /
- Michael Siebers and Ute Schmid
- Dependency Parsing with Efficient Feature Extraction /
- Alexander Volokh and Günter Neumann
- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules /
- Kristina Yordanova, Frank Krüger and Thomas Kirste
- Gated Boosting: Efficient Classifier Boosting and Combining /
- Mohammad Reza Yousefi and Thomas M. Breuel.