This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيدThis book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
اقرأ المزيدComputer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
اقرأ المزيدSearching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...
اقرأ المزيدEnterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
اقرأ المزيدThis book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
اقرأ المزيدProbabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
اقرأ المزيدProbabilistic graphical models and decision graphs are powerful modeling tools for reasoning and decision making under uncertainty. ...
اقرأ المزيدProbabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
اقرأ المزيدProvides coverage of developments and state-of-the-art methods in the broad and diversified data analytics field and applicable ...
اقرأ المزيدPresents the latest discoveries in the field of machine intelligence and big data Proposes many case studies and applications ...
اقرأ المزيدThis book presents how cutting-edge digital technologies like Machine Learning, Artificial Intelligence (AI), and Blockchain ...
اقرأ المزيدThis book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape ...
اقرأ المزيدCombines energy economics and big data modeling analysis in energy conversion and management and comprehensively introduces ...
اقرأ المزيدThis book constitutes the proceedings of the 9th International Conference on Big Data, BigData 2020, held as part of SCF ...
اقرأ المزيدThis book constitutes the refereed conference proceedings of the 12th International Conference on Bio-inspired Information ...
اقرأ المزيدThis volume includes all the contributions mainly related with theoretical, conceptual and methodological aspects linking ...
اقرأ المزيدThis volume includes all the contributions mainly related with theoretical, conceptual and methodological aspects linking ...
اقرأ المزيد