Wyniki wyszukiwania:
wyszukanych pozycji: 5
 |
Companion Technology: A Paradigm Shift in Human-Technology Interaction
ISBN: 9783319828800 / Angielski / Miękka / 2018 / 500 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
402,53 |
 |
Companion Technology: A Paradigm Shift in Human-Technology Interaction
ISBN: 9783319436647 / Angielski / Twarda / 2017 / 500 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Future technical systems will be companion systems, competent assistants that function in a completely individualized way, adapting to the user's capabilities, preferences, requirements, and emotional state. The chapters in this edited book present an enabling technology for such systems, divided into sections on planning and decision-making, interaction and dialogue, and situation and emotion. The book is suitable for researchers in artificial intelligence. Future technical systems will be companion systems, competent assistants that function in a completely individualized way, adapting to the u... |
cena:
402,53 |
 |
Automatische Synthese Rekursiver Programme ALS Beweisverfahren
ISBN: 9783540553007 / Niemiecki / Miękka / 1992 / 267 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle...
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k-nnen. Es ist ein deduktives ...
|
cena:
206,88 |
 |
Recent Advances in AI Planning: 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
ISBN: 9783540678663 / Angielski / Miękka / 2000 / 380 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 1999.
The 27 revised full papers presented together with one invited survey were carefully reviewed and selected for inclusion in the book. They address all current aspects of AI planning and scheduling. Several prominent planning paradigms are represented, including planning as satisfiability and other model checking strategies, planning as heuristic state-space search, and Graph-plan-based approaches. Moreover, various new scheduling... This book constitutes the thoroughly refereed post-proceedings of the 5th European Conference on Planning, ECP'99, held in Durham, UK, in September 19...
|
cena:
201,24 |
 |
KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
ISBN: 9783540231660 / Angielski / Miękka / 2004 / 472 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 27th Annual German Conference on Artificial Intelligence, KI 2004, held in Ulm, Germany, in September 2004. The 29 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on natural language processing, knowledge representation and ontologies, planning and search, neural networks and machine learning, reasoning, and robotics and machine perception.
This book constitutes the refereed proceedings of the 27th Annual German Conference on Artificial Intelligence, KI 2004, held in Ulm, Germany, in S... |
cena:
201,24 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
