biundo susanne (19 Ergebnisse)

1st ed. 2017. XV, 500 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Cognitive Technologies. Sprache: Englisch.

Zustand: New. In.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theoryand Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - KI2004wasthe27theditionoftheannualGermanConferenceonArti cialInt- ligence, which traditionally brings together academic and industrial researchers from all areas of AI and which enjoys increasing international attendance. KI 2004 received 103 submissions from 26 countries. This volume contains the 30 papers that were nally selected for presentation at the conference. The papers cover quite a broad spectrum of classical subareas of AI, like na- ral language processing, neural networks, knowledge representation, reasoning, planning, and search. When looking at this year s contributions, it was exciting to observe that there was a strong trend towards actual real-world applications of AI technology. A majority of contributions resulted from or were motivated by applications in a variety of areas. Examples include applications of pl- ning, where the technology is being exploited for taxiway tra c control and game playing; natural language processing and knowledge representation are enabling advanced Web-based information processing; and the integration of - sults from automated reasoning, neural networks and machine perception into robotics leads to signi cantly improved capabilities of autonomous systems. The technical programme of KI 2004 was highlighted by invited talks from outstanding researchers in the areas of automated reasoning, robot planning, constraintreasoning,machinelearning,andsemanticWeb:Jorg Siekmann(DFKI andUniversityofSaarland,Saarbruc ken),MalikGhallab(LAAS-CNRS,Toulouse), Franco is Fages (INRIA Rocquencourt), Martin Riedmiller (University of - nabru ck),andWolfgangWahlster(DFKIandUniversityofSaarland,Saarbruc ken). Their invited papers are also presented in this volume.

Taschenbuch. Zustand: Neu. KI 2004: Advances in Artificial Intelligence | 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings | Susanne Biundo (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540231660 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Recent Advances in AI Planning | 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings | Susanne Biundo (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2000 | Springer | EAN 9783540678663 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Zustand: New. In.

Zustand: New. In.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Companion Technology | A Paradigm Shift in Human-Technology Interaction | Susanne Biundo (u. a.) | Taschenbuch | Cognitive Technologies | xv | Englisch | 2018 | Springer | EAN 9783319828800 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Brand New. 500 pages. 9.50x6.25x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Future technical systems will be companion systems, competent assistants that provide their functionality in a completely individualized way, adapting to a user's capabilities, preferences, requirements, and current needs, and taking into account both the emotional state and the situation of the individual user.This book presents the enabling technology for such systems. It introduces a variety of methods and techniques to implement an individualized, adaptive, flexible, and robust behavior for technical systems by means of cognitive processes, including perception, cognition, interaction, planning, and reasoning. The technological developments are complemented by empirical studies from psychological and neurobiological perspectives.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Future technical systems will be companion systems, competent assistants that provide their functionality in a completely individualized way, adapting to a user's capabilities, preferences, requirements, and current needs, and taking into account both the emotional state and the situation of the individual user.This book presents the enabling technology for such systems. It introduces a variety of methods and techniques to implement an individualized, adaptive, flexible, and robust behavior for technical systems by means of cognitive processes, including perception, cognition, interaction, planning, and reasoning. The technological developments are complemented by empirical studies from psychological and neurobiological perspectives.

Zustand: New. In.

Paperback. Zustand: Brand New. 1st edition. 267 pages. German language. 9.53x6.69x0.61 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In diesem Buch wird ein Verfahren vorgestellt, mit demInduktionsbeweise vonExistenzaussagen automatisch gef}hrtwerden k nnen. Es ist ein deduktivesProgrammsyntheseverfahren, das ausgehend vonExistenzaussagen, die als formale Programmspezifikationenaufgefa~t werden, rekursive Programme erzeugt. Kann einsolches Programm korrekt erstellt werden, so beschreibt derSyntheseproze~ gleichzeitig einen Induktionsbeweis derentsprechenden Existenzaussage.Auf der Basis dieses Verfahrens wurde ein automatischesProgrammsynthesesystem entwickelt und implementiert. Esverwendet spezielle Transformationsregeln sowie Strategienund Heuristiken, die die Beweissuche steuern. Sie werdenanhand vieler Beispiele ausf}hrlich diskutiert.Obwohl die hier beschriebene Methode in erster Linie zurAutomatisierung von Existenzbeweisen entwickelt worden ist,und der Aspekt der automatischen Softwareentwicklung eher imHintergrund steht, motivieren zahlreiche Beispiele dazu, dasVerfahren auch f}r diesen Zweck einzusetzen.

Taschenbuch. Zustand: Neu. Automatische Synthese rekursiver Programme als Beweisverfahren | Susanne Biundo | Taschenbuch | viii | Deutsch | 1992 | Springer-Verlag GmbH | EAN 9783540553007 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.