wyszukanych pozycji: 4
KI 2021: Advances in Artificial Intelligence: 44th German Conference on Ai, Virtual Event, September 27 - October 1, 2021, Proceedings
ISBN: 9783030876258 / Angielski / Miękka / 2021 / 396 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
288,47 zł |
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Garda, Italy, August 29, 2006 Revised Selected and Invited Papers
ISBN: 9783540741275 / Angielski / Miękka / 2007 / 200 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence. The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop p... |
|
cena:
192,30 zł |
Algorithmic Intelligence: Towards an Algorithmic Foundation for Artificial Intelligence
ISBN: 9783319655956 / Angielski / Twarda / 2023 Termin realizacji zamówienia: ok. 20 dni roboczych. In this book the author argues that the basis of what we consider computer intelligence has algorithmic roots, and he presents this with a holistic view, showing examples and explaining approaches that encompass theoretical computer science and machine learning via engineered algorithmic solutions. The book will be of value to researchers, practitioners, and students. In this book the author argues that the basis of what we consider computer intelligence has algorithmic roots, and he presents this with a holistic... |
|
cena:
846,23 zł |
Heuristic Search: Theory and Applications
ISBN: 9780123725127 / Angielski / Twarda / 2011 / 836 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external memory and parallel processing units on main boards and graphics cards are detailed. Heuristic search as a problem solving tool is demonstrated in applications for puzzle solving, game... Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough ove... |
|
cena:
342,29 zł |