Søgning på underkategorier- og emner:
The conference focuses on the following three main themes as follows: Data such as... Læs mere
This book constitutes the refereed proceedings of the 18th European Workshop on... Læs mere
The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
This book constitutes the proceedings of the 37th International... Læs mere
This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. They are organized in topical sections on ?machine learning, deep learning and applications;
This book constitutes the proceedings of the 25th RoboCup International Symposium which was held online during July 2022 in Bangkok, Thailand. The 28 full papers included in these proceedings were carefully reviewed and selected from 40 submissions;
This book constitutes the refereed proceedings of the 9th EAI... Læs mere