The 2-volume set LNCS 12242 and 12243 constitutes the refereed proceedings of the 7th International Conference on Augmented ...
Continue readingThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue readingThis book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Continue readingThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue readingComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Continue readingComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Continue readingSearching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...
Continue readingEnterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
Continue readingThis book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
Continue readingMAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue readingMAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue readingThis book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
Continue readingThis monograph summarizes our current knowledge about pigeon homing, about the birds' application of a sun compass and a ...
Continue readingThis Bayesian modeling book provides an operational methodology for conducting Bayesian inference, rather than focusing on ...
Continue readingProbabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
Continue readingProbabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
Continue readingProbabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
Continue readingProvides coverage of developments and state-of-the-art methods in the broad and diversified data analytics field and applicable ...
Continue readingPresents the latest discoveries in the field of machine intelligence and big data Proposes many case studies and applications ...
Continue readingThis book presents how cutting-edge digital technologies like Machine Learning, Artificial Intelligence (AI), and Blockchain ...
Continue reading