KI 2012: Advances in Artificial Intelligence (Record no. 39772)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06472nam a22005655i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783642333477 |
| -- | 978-3-642-33347-7 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| 245 10 - TITLE STATEMENT | |
| Title | KI 2012: Advances in Artificial Intelligence |
| Sub Title | 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings / |
| Statement of responsibility, etc | edited by Birte Glimm, Antonio Krüger. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Year of publication | 2012. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XIV, 267 p. 89 illus. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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 papers contain research results on theory and applicaiton of all aspects of AI. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Information storage and retrieval systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer simulation. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Information Storage and Retrieval. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Simulation and Modeling. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | User Interfaces and Human Computer Interaction. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Mathematical Logic and Formal Languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Glimm, Birte. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Krüger, Antonio. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-642-33347-7 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2012. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK10478 | http://dx.doi.org/10.1007/978-3-642-33347-7 | E-BOOKS |