Includes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical ...
Lire la suiteSpecifically, this book covers the following topics: 6G Use Cases, Requirements, Metrics and Enabling Technologies, PHY Technologies ...
Lire la suiteThis monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise ...
Lire la suiteOffers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
Lire la suiteThe book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses ...
Lire la suiteSystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on OpenMP, IWOMP ...
Lire la suitepresents a systemic analysis of Spinoza’s philosophy and challenges the traditional views. It deals with Spinoza’s concepts ...
Lire la suiteThe Companion represents recent developments in the field, and encourages future horizons by commissioning innovative essays ...
Lire la suiteThe 18th Australian Joint Conference on Artificial Intelligence (AI 2005) was held at the University of Technology, Sydney ...
Lire la suiteThis volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Lire la suiteThis book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held ...
Lire la suiteArtificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses ...
Lire la suiteGreat effort has been put forth to continuously make AI “smarter.” But, will smarter always equal more successful AI? ...
Lire la suiteThis book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic ...
Lire la suiteProvides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet ...
Lire la suite