Michael kohlhase (65 Ergebnisse)

Softcover. Zustand: Wie neu. Zustand des Schutzumschlags: Ohne Schutzumschlag. 1. Auflage. 484 pages.

Zustand: 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.

Zustand: Used. pp. 474 Illus.

Zustand: New.

Zustand: Used. pp. 474.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Taschenbuch. Zustand: 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.…

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. Zustand: Brand New. 1st edition. 428 pages. 9.00x6.00x1.00 inches. In Stock.

Paperback. Zustand: 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. Zustand: 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 .…

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

Zustand: Very Good. New/unused condition with small scuffs/light scrtches and light staining to the cover. The content is in like new condition.

Kartoniert / Broschiert. Zustand: New. This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 s.

Taschenbuch. Zustand: Neu. Intelligent Computer Mathematics | 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings | Michael Kohlhase (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319425467 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Erstausgabe. Gr.8°. Erste Auflage, 410 S. OKarton (Softcover). Einband an den Kanten leicht bestoßen und beschabt; Rücken etwas verblasst.

Taschenbuch. Zustand: Neu. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] | Foreword by Alan Bundy | Michael Kohlhase | Taschenbuch | xix | Englisch | 2006 | Springer | EAN 9783540378976 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.

Taschenbuch. Zustand: Neu. Neuware - This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15-17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to - cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after re-evaluation by the Programme Committee since they included signi cant improvements triggered by the referee reports and the discussions at the conference.…

Paperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.41 inches. In Stock.

paperback. Zustand: New. In shrink wrap. Looks like an interesting title.

Zustand: New.

Zustand: As New. Unread book in perfect condition.