KI 2012: Advances in Artificial Intelligence  35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings /  [electronic resource] : 
edited by Birte Glimm, Antonio Krüger. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (XIV, 267 p. 89 ill.) 
 - Lecture Notes in Computer Science,  7526  0302-9743 ; .
<br/><br/>Verification of Behaviour Networks Using Finite-State Automata -- Formal Semantics of Model Fields in Annotation-Based Specifications.-  Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.-  A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning -- Plan Recognition by Program Execution in Continuous Temporal Domains.-  Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.-  Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.-  Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules -- Gated Boosting: Efficient Classifier Boosting and Combining. Formal Semantics of Model Fields in Annotation-Based Specifications.-  Searching with Partial Belief States in General Games with Incomplete Information -- A Machine-Learning Framework for Hybrid Machine Translation.-Using Equivalences of Worlds for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System in Therapeutic Calisthenics for Elderly People -- PAC-Learning with General Class Noise Models -- Avoiding Moving Persons by Using Simple Trajectory Prediction and Spatio Temporal Planning -- Unsupervised Nearest Neighbors with Kernels.-  A Compact Encoding of Pseudo-Boolean Constraints into SAT -- Small Talk Is More than Chit-Chat: Exploiting Structures of Casual Conversations for a Virtual Agent -- Clustering Based on Density Estimation with Sparse Grids -- A Comparison between Cognitive and AI Models of Blackjack Strategy Learning -- Plan Recognition by Program Execution in Continuous Temporal Domains.-  Modeling Human Motion Trajectories by Sparse Activation of Motion Primitives Learned from Unpartitioned Data -- Nogoods in Qualitative Constraint-Based Reasoning -- Stochastic Gradient Descent with GPGPU.-  Improved Query Suggestion by Query Search -- Knowledge-Base Revision Using Implications as Hypotheses -- Improving Confidence of Dual Averaging Stochastic Online Learning via Aggregation -- Supporting Fuzzy Metric Temporal Logic Based Situation Recognition by Mean Shift Clustering -- Ontology-Based Information Extraction for French Newspaper Articles -- Semantic Approach to Identity in Coreference Resolution Task.-  Matching Points of Interest from Different Social Networking Sites -- Semi-analytic Natural Number Series Induction -- Dependency Parsing with Efficient Feature Extraction -- Strategies for Modelling Human Behaviour for Activity Recognition with Precondition-Effect Rules -- Gated Boosting: Efficient Classifier Boosting and Combining. 
<br/><br/><label>ISBN: </label>9783642333477 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Mathematical logic.<br/>Information Storage and Retrieval.<br/>User interfaces (Computer systems).<br/>Artificial intelligence.<br/>Computer simulation.