This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete……続きを見る
Intelligent systems often depend on data provided by information agents, for example, sensor data or crowdsourced human computation. Providing accurate and relevant data requires costly effort that ……続きを見る
著者:Igor A. Sheremet
出版社: Springer International Publishing
発売日: 2022年10月29日
This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-co……続きを見る
The Handbook of Digital Image Synthesis is the most up-to-date reference guide in the rapidly developing field of computer graphics. A wide range of topics, such as, applied mathematics, data struct……続きを見る