The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThe book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...
Continue readingThis publication examines the impact of connected and automated vehicles on the European city and the conditions that can ...
Continue readingThis volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, ...
Continue readingThis book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can ...
Continue readingIt profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Continue readingIt profound connections between logic and such diverse fields of research as functional analysis, probability and measure ...
Continue readingDesigned for an introductory course on formal languages, automata, compatibility, and related matters forming what is known ...
Continue readingReports on several advances in architectural graphics, with a special emphasis on education, training, and research. It gathers ...
Continue readingAs AI becomes a giant trend in the business world, mobile apps are one of the usage areas, which people can benefit from. ...
Continue readingThe book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue readingThe book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Continue readingThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue readingAll current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Continue readingAll current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...
Continue readingThis book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Continue readingThis book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...
Continue readingThis book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Continue readingThis book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, ...
Continue reading