Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments, Cipriano Galindo; Juan-Antonio Fern?ndez-Madrigal;

Автор: Patricia Mellodge; Pushkin Kachroo
Название: Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
ISBN: 3540707921 ISBN-13(EAN): 9783540707929
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Investigates abstraction of dynamical systems for the purpose of designing controllers. This book focuses on the conditions for which controllers can be designed in abstracted systems and then transferred to the original dynamical system, taking advantage of design using the simpler model.

Автор: Berthe Y. Choueiry; Toby Walsh
Название: Abstraction, Reformulation, and Approximation
ISBN: 3540678395 ISBN-13(EAN): 9783540678397
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26- 29, 2000, just prior to the AAAI 2000 conference in Austin.

Автор: Lorenza Saitta; Jean-Daniel Zucker
Название: Abstraction in Artificial Intelligence and Complex Systems
ISBN: 1489988742 ISBN-13(EAN): 9781489988744
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications.

Автор: Lorenza Saitta; Jean-Daniel Zucker
Название: Abstraction in Artificial Intelligence and Complex Systems
ISBN: 146147051X ISBN-13(EAN): 9781461470519
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications.

Автор: Lutz Frommberger
Название: Qualitative Spatial Abstraction in Reinforcement Learning
ISBN: 3642266002 ISBN-13(EAN): 9783642266003
Издательство: Springer
Рейтинг:
Цена: 16070.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Reinforcement learning has evolved to tackle domains that are yet to be fully understood, or are too complex for a closed description. In this book the author investigates whether suitable abstraction methods can overcome the discipline`s deficiencies.

Автор: Chao Wang; Gary D. Hachtel; Fabio Somenzi
Название: Abstraction Refinement for Large Scale Model Checking
ISBN: 1489993959 ISBN-13(EAN): 9781489993953
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today`s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.