Kohlhase Michael (121 results)

Condition: As New. Unread book in perfect condition.

Softcover. Condition: Wie neu. Dust Jacket Condition: Ohne Schutzumschlag. 1. Auflage. 484 pages.

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New.

Paperback or Softback. Condition: New. Omdoc -- An Open Markup Format for Mathematical Documents [Version 1.2]: Foreword by Alan Bundy. Book.

Condition: Used. pp. 474.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: Used. pp. 474 Illus.

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condition: Used. pp. 474.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on Intelligent Computer Mathematics, CICM 2016, held inBialystok, Poland, in July 2016.The 10 full papers and 2 short papers presentedwere carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topicalsections according to the five tracks of the conference:Calculemus; Digital Mathematics Libraries; Mathematical KnowledgeManagement; Surveys and Projects; and Systems and Data.…

Condition: New. pp. 422.

Condition: New. pp. 456.

Paperback. gr. 8° in der Reihe: Beiträge zur Gregoriank, herausgegeben von Luigi Agustoni u.a., Band 15/16. 484 Seiten. Paperback (Orig.-Kartoniert). minimale äußerliche Lagerspuren, sonst offenbar unbenutztes Exemplar, sehr guter Zustand 860 Gramm. Buch.

Paperback. Condition: Brand New. 1st edition. 428 pages. 9.00x6.00x1.00 inches. In Stock.

Paperback. Condition: Brand New. 1st edition. 456 pages. 9.00x6.00x1.00 inches. In Stock.

332 S, okart., guter Zustand (NP 99,90) Schriften zum Prozessrecht, Band 284.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Session 1. Invited Talk.- Expressivity-Preserving Tempo Transformation for Music - A Case-Based Approach.- Session 2. Cognition and Emotion.- MicroPsi: Contributions to a Broad Architecture of Cognition.- Affective Cognitive Modeling for Autonomous Agents Based on Scherer's Emotion Theory.- Session 3A. Semantic Web.- OWL and Qualitative Reasoning Models.- Techniques for Fast Query Relaxation in Content-Based Recommender Systems.- Session 3B. Analogy.- Solving Proportional Analogies by E-Generalization.- Building Robots with Analogy-Based Anticipation.- Session 4A. Natural Language.- Classification of Skewed and Homogenous Document Corpora with Class-Based and Corpus-Based Keywords.- Learning an Ensemble of Semantic Parsers for Building Dialog-Based Natural Language Interfaces.- Session 4B. Reasoning.- Game-Theoretic Agent Programming in Golog Under Partial Observability.- Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model.- Towards the Computation of Stable Probabilistic Model Semantics.- DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics.- Session 5. Invited Talk.- Applications of Automated Reasoning.- Session 6A. Ontologies.- On the Scalability of Description Logic Instance Retrieval.- Relation Instantiation for Ontology Population Using the Web.- Session 6B. Spatio-temporal Reasoning.- GeTS - A Specification Language for Geo-Temporal Notions.- Active Monte Carlo Recognition.- Session 7A. Machine Learning.- Cross System Personalization and Collaborative Filtering by Learning Manifold Alignments.- A Partitioning Method for Mixed Feature-Type Symbolic Data Using a Squared Euclidean Distance.- Session 7B. Spatial Reasoning.- On Generalizing Orientation Information in .- Towards the Visualisation ofShape Features The Scope Histogram.- Session 8A. Robot Learning.- A Robot Learns to Know People-First Contacts of a Robot.- Recombinant Rule Selection in Evolutionary Algorithm for Fuzzy Path Planner of Robot Soccer.- Session 8B. Classical AI Problems.- A Framework for Quasi-exact Optimization Using Relaxed Best-First Search.- Gray Box Robustness Testing of Rule Systems.- A Unifying Framework for Hybrid Planning and Scheduling.- Session 9. Agents.- A Hybrid Time Management Approach to Agent-Based Simulation.- Adaptive Multi-agent Programming in GTGolog.- Agent Logics as Program Logics: Grounding KARO.- On the Relationship Between Playing Rationally and Knowing How to Play: A Logical Account.- Special Event. 50 Years Artificial Intelligence.- 1956-1966 How Did It All Begin - Issues Then and Now.- Fundamental Questions.- Towards the AI Summer.- History of AI in Germany and The Third Industrial Revolution.- Three Decades of Human Language Technology in Germany.- 1996-2006 Autonomous Robots.- Projects and Vision in Robotics.- What Will Happen in Algorithm Country .…

Condition: New.