This book constitutes the refereed proceedings of the 4th International Workshop on Databases in Networked Information Systems, ...
اقرأ المزيد
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
اقرأ المزيد
This textbook for students and practitioners presents a practical approach to decomposition techniques in optimization. It ...
اقرأ المزيد
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
اقرأ المزيد
Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
اقرأ المزيدDeep learning has been successfully applied to solve various complex problems ranging from big data analytics to computer ...
اقرأ المزيدThe technology used to create such digital content has quickly become accessible to the masses, such as “DEEPFAKE.” Deep ...
اقرأ المزيدRecently, various techniques of manipulating the video content have become available to everyone – online, one can find ...
اقرأ المزيد
Deformable Models: Biomedical and Clinical Applications is the first entry in the two-volume set which provides a wide cross-section ...
اقرأ المزيد
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
اقرأ المزيد
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...
اقرأ المزيد
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
اقرأ المزيد
This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
اقرأ المزيد
This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
اقرأ المزيد
This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
اقرأ المزيد
Randomness is a powerful phenomenon that can be harnessed to solve various problems in all areas of computer science. Randomized ...
اقرأ المزيد
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
اقرأ المزيد
During the last years, scientific computing has become an important research branch located between applied mathematics and ...
اقرأ المزيد