Model Checking and Artificial Intelligence, Doron A. Peled; M.J. Wooldridge

Автор: Millington, Ian, Funge, John
Название: Artificial Intelligence for Games
ISBN: 0123747317 ISBN-13(EAN): 9780123747310
Издательство: Taylor&Francis
Рейтинг:
Цена: 10870.00 р.
Наличие на складе: Поставка под заказ.

Описание: Creating robust artificial intelligence is one of the greatest challenges for game developers, yet the commercial success of a game is often dependent upon the quality of the AI. In this book, Ian Millington brings extensive professional experience to the problem of improving the quality of AI in games. He describes numerous examples from real games and explores the underlying ideas through detailed case studies. He goes further to introduce many techniques little used by developers today. The book's associated web site contains a library of C++ source code and demonstration programs, and a complete commercial source code library of AI algorithms and techniques.<br><br>"Artificial Intelligence for Games - 2nd edition" will be highly useful to academics teaching courses on game AI, in that it includes exercises with each chapter. It will also include new and expanded coverage of the following: AI-oriented gameplay; Behavior driven AI; Casual games (puzzle games). <br><br>* The first comprehensive, professional tutorial and reference to implement true AI in games written by an engineer with extensive industry experience.<br>* Walks through the entire development process from beginning to end.<br>* Includes examples from over 100 real games, 10 in-depth case studies, and web site with sample code.

Автор: Gilles Barthe; Manuel Hermenegildo
Название: Verification, Model Checking, and Abstract Interpretation
ISBN: 3642113184 ISBN-13(EAN): 9783642113185
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010.

Автор: Ming Xie (Editor), Youlun Xiong (Editor), Caihua X
Название: Intelligent Robotics and Applications: Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN: 3642108164 ISBN-13(EAN): 9783642108167
Издательство: Springer
Рейтинг:
Цена: 29209.00 р.
Наличие на складе: Поставка под заказ.

Описание: Second International Conference ICIRA 2009 Singapore December 1618 2009 Proceedings. .

Автор: Klaus Havelund; Rupak Majumdar; Jens Palsberg
Название: Model Checking Software
ISBN: 3540851135 ISBN-13(EAN): 9783540851134
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The main focus of the workshop series is software systems, including models and programs.