0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (3)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 5 of 5 matches in All Departments

Companion Technology - A Paradigm Shift in Human-Technology Interaction (Hardcover, 1st ed. 2017): Susanne Biundo, Andreas... Companion Technology - A Paradigm Shift in Human-Technology Interaction (Hardcover, 1st ed. 2017)
Susanne Biundo, Andreas Wendemuth
R3,013 Discovery Miles 30 130 Ships in 10 - 15 working days

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.

Companion Technology - A Paradigm Shift in Human-Technology Interaction (Paperback, Softcover reprint of the original 1st ed.... Companion Technology - A Paradigm Shift in Human-Technology Interaction (Paperback, Softcover reprint of the original 1st ed. 2017)
Susanne Biundo, Andreas Wendemuth
R4,303 Discovery Miles 43 030 Ships in 10 - 15 working days

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.

KI 2004: Advances in Artificial Intelligence - 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24,... KI 2004: Advances in Artificial Intelligence - 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings (Paperback, 2004 ed.)
Susanne Biundo, Thom Fruhwirth, G unther Palm
R1,725 Discovery Miles 17 250 Ships in 10 - 15 working days

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."

Recent Advances in AI Planning - 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings... Recent Advances in AI Planning - 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings (Paperback, 2000 ed.)
Susanne Biundo, Maria Fox
R1,668 Discovery Miles 16 680 Ships in 10 - 15 working days

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, Ge

Automatische Synthese Rekursiver Programme Als Beweisverfahren (German, Paperback): Susanne Biundo Automatische Synthese Rekursiver Programme Als Beweisverfahren (German, Paperback)
Susanne Biundo
R1,891 Discovery Miles 18 910 Ships in 10 - 15 working days

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 Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausf}hrlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch f}r diesen Zweck einzusetzen.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Yorkshire Quiz Book - The people…
Andrew Gallon Paperback R334 Discovery Miles 3 340
Tarot - How to Read Tarot Cards and…
Silvia Hill Hardcover R777 R687 Discovery Miles 6 870
mental floss presents Condensed…
Editors of Mental Floss Paperback R528 R499 Discovery Miles 4 990
Numerology - 5 Books in 1: Discover Who…
Michelle Northrup Hardcover R1,035 R896 Discovery Miles 8 960
Sapiens - A Brief History Of Humankind
Yuval Noah Harari Paperback  (4)
R345 R318 Discovery Miles 3 180
Anglican Psalter - The Psalms of David
Pointed and edited for chanting by JOHN SCOTT Hardcover R1,467 R1,219 Discovery Miles 12 190
The Festival Cities of Edinburgh and…
Sarah Thomasson Hardcover R2,871 Discovery Miles 28 710
Celebrating Sundays - Reflections from…
Stephen Holmes Hardcover R1,291 Discovery Miles 12 910
Tarot in 5 Minutes - Your Shortcut to…
Karina Collins Hardcover R874 Discovery Miles 8 740
Die Maan Is Swart - Gedigte Van Adam…
Adam Small, Ronelda Kamfer Paperback  (1)
R230 R199 Discovery Miles 1 990

 

Partners