AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيد
AI 2007: Advances in Artificial Intelligence
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
اقرأ المزيدAVENUE21. Connected and Automated Driving: Prospects for Urban Europe
This publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
اقرأ المزيد
Abstraction, Reformulation, and Approximation
This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
اقرأ المزيد
Advances in Open Domain Question Answering
This book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can ...
اقرأ المزيد
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيد
Algebraic and Proof-theoretic Aspects of Non-classical Logics
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
اقرأ المزيد
An Introduction to Formal Languages and Automata / Peter Linz; Susan H. Rodger
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known ...
اقرأ المزيد
Architectural Graphics: Volume 1 - Graphics for Analysis / Manuel A. Rodenas-Lopez, Jose Calvo-Lopez, Macarena Salcedo-Galera
Reports on several advances in architectural graphics, with a special emphasis on education, training, and research. It gathers ...
اقرأ المزيدArtificial intelligence based nutrition app / Amr Shbib ; Yaman Abdullah
As AI becomes a giant trend in the business world, mobile apps are one of the usage areas, which people can benefit from. ...
اقرأ المزيد
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
اقرأ المزيد
Automated Deduction in Geometry
The book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
اقرأ المزيد
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
اقرأ المزيد
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيد
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Automated Deduction – CADE-21
All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
اقرأ المزيد
Automated Machine Learning
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
اقرأ المزيد
Automated Multi-Camera Surveillance: Algorithms and Practice
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...
اقرأ المزيد
Automated Reasoning
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
اقرأ المزيد
Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
اقرأ المزيد
