Søgning på underkategorier- og emner:
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
It first summarizes the developing trend of DCNs, and reports four novel DCNs, including a switch-centric DCN, a modular DCN, a wireless DCN, and a hybrid DCN.