This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July 2023.
The 94 papers prese……続きを見る
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October ……続きを見る
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.
The 20 full papers included in this book w……続きを見る
This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July 2023.
The 94 papers prese……続きを見る
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers p……続きを見る
The two-volume set LNAI 14115 and 14116 constitutes the refereed proceedings of the 22nd EPIA Conference on Progress in Artificial Intelligence, EPIA 2023, held in Faial Island, Azores, in September……続きを見る
The two-volume set LNAI 14115 and 14116 constitutes the refereed proceedings of the 22nd EPIA Conference on Progress in Artificial Intelligence, EPIA 2023, held in Faial Island, Azores, in September……続きを見る
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The pa……続きを見る
This book provides an analysis of acoustic features of polysemous strings and an implementation of a speech disambiguation program based on the phonetic information. Throughout the book, the term ‘p……続きを見る
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.
The 11 ……続きを見る
This book constitutes the proceedings of the 7th International Workshop on Chatbot Research and Design, CONVERSATIONS 2023, which was held during November 2023.
The 12 regular papers were carefully ……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023.
The 18 full and 5 ……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
This book constitutes revised selected papers from the thoroughly refereed proceedings of the 11th International Conference on Analysis of Images, Social Networks and Texts, AIST 2023, held in Yerev……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
The six-volume set LNCS 14608, 14609, 14609, 14610, 14611, 14612 and 14613 constitutes the refereed proceedings of the 46th European Conference on IR Research, ECIR 2024, held in Glasgow, UK, during……続きを見る
The first project develops a tkinter-based graphical user interface (GUI) to facilitate the identification and tracking of keypoints in video files using the BRISK algorithm, commonly used in comput……続きを見る
Build AI-Enhanced Audio Plugins with C++ explains how to embed artificial intelligence technology inside tools that can be used by audio and music professionals, through worked examples using Python……続きを見る
This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia,……続きを見る
This book constitutes the refereed proceedings of the 27th European Conference on Genetic Programming, EuroGP 2024, held in Aberystwyth, UK, April 3–5, 2024 and co-located with the EvoStar events, E……続きを見る
This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland,……続きを見る
The two volume set LNCS 14641 and 14642 constitutes the proceedings of the 22nd International Symposium on Intelligent Data Analysis, IDA 2024, which was held in Stockholm, Sweden, during April 24-2……続きを見る
This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia,……続きを見る
The two volume set LNCS 14641 and 14642 constitutes the proceedings of the 22nd International Symposium on Intelligent Data Analysis, IDA 2024, which was held in Stockholm, Sweden, during April 24-2……続きを見る
This book constitutes the refereed proceedings of the 17th International Conference on Formalizing Natural Languages with NooJ 2023 and Its Natural Language Processing Applications, NooJ 2023, held ……続きを見る
This book is the result of a collaboration between a human editor and an artificial intelligence algorithm to create a machine-generated literature overview of research articles analyzing the import……続きを見る
This book constitutes the refereed conference proceedings of the second International Conference on Speech and Language Technologies for Low-Resource Languages, SPELLL 2023, held in Perundurai, Erod……続きを見る