Principles of Verification: Cycling the Probabilistic Landscape
EAN: 9783031757778
Frontiers of Dynamic Games
This book collects a selection of the articles presented at the virtual conference “Game Theory...
EAN: 9783031663789
KI 2024: Advances in Artificial Intelligence
This book constitutes the proceedings of the 47th German Conference on AI, KI 2024, which was...
EAN: 9783031708923
Restarting Automata
Other topics include the descriptional complexity and inductive inference of certain types of...
EAN: 9783031700934
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
This book constitutes the proceedings of the First International Joint Conference on Quantitative...
EAN: 9783031684159
Advanced Control and Intelligent Computing Applications
EAN: 9789819602933
NASA Formal Methods
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods,...
EAN: 9783031937057
Shortest-Path Problem
Table of Contents: List of Figures / List of Tables / Acknowledgments / Introduction / Graph...
EAN: 9783031014468
Content-Based Image Retrieval
The book describes several techniques used to bridge the semantic gap and reflects on recent...
EAN: 9789811349447
Advances in Knowledge Discovery and Data Mining
The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference...
EAN: 9789819722402
Next Generation Data Science
This book constitutes the refereed proceedings of the Sescond Southwest Data Science Conference,...
EAN: 9783031618154
Bridging the Gap Between AI and Reality
This open access book constitutes revised selected papers from the First International Conference...
EAN: 9783031737404
Enterprise Information Systems
The two-volume set LNBIP 518 and 519 constitutes the refereed post-conference proceedings of the...
EAN: 9783031647543
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof assistants are computer programs that help users formally describe mathematical statements...
EAN: 9783031851896
Computer Vision
This volume on visual commonsense reasoning, part of a comprehensive three-volume series,...
EAN: 9783031981067
Limits of Mathematics
The covered topics include the history of mathematical logic, formal systems, axiomatic number...
EAN: 9783662709986
History of Artificial Intelligence
This book provides an overview of AI’s historical development, while understanding the cultural...
EAN: 9781041011996
History of Artificial Intelligence
This book provides an overview of AI’s historical development, while understanding the cultural...
EAN: 9781041011989
