This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were car…
This book constitutes the refereed proceedings of the 11th International Conference of the CLEF Association, CLEF 2020, held in Thessaloniki, Greece, in September 2020.* The conference has a clear focus on experimental information retrieval with special attention to the challeng…
Experimental IR meets multilinguality, multimodality, and interaction: 11th International Conference of the CLEF Associa…
by Vrochidis, Stefanos, Joho, Hideo, Cross-Language Evaluation Forum., Conference, Online), Arampatzis, Avi, Kanoulas, Evangelos, Tsikrika, Theodora, Lioma, Christina, Eickhoff, Carsten, Névéol, Aurélie, Cappellato, Linda, Ferro, Nicola
fromLecture Notes in Computer Science
This book constitutes the refereed proceedings of the 11th International Conference of the CLEF Association, CLEF 2020, held in Thessaloniki, Greece, in September 2020.* The conference has a clear focus on experimental information retrieval with special attention to the challeng…
This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.* The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions. They were …
This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.* The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions. They were …
This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COV…
This book constitutes the proceedings of the 22nd International Conference on Speech and Computer, SPECOM 2020, held in St. Petersburg, Russia, in October 2020. The 65 papers presented were carefully reviewed and selected from 160 submissions. The papers present current research…
The LNCS 12115 constitutes the workshop papers which were held also online in conjunction with the 25th International Conference on Database Systems for Advanced Applications in September 2020. The complete conference includes 119 full papers presented together with 19 short pap…
The LNCS 12115 constitutes the workshop papers which were held also online in conjunction with the 25th International Conference on Database Systems for Advanced Applications in September 2020. The complete conference includes 119 full papers presented together with 19 short pap…
Database systems for advanced applications: DASFAA 2020 International Workshops : BDMS, SeCoP…
by Moon, Yang-Sae, Nah, Yunmook, Whang, Steven Euijong, DASFAA (Conference : Database systems), Cheju-do, Korea), Kim, Chulyun, Kim, Seon-Young, BDMS (Workshop), Cheju-do, Korea), SeCoP (Workshop), Cheju-do, Korea), BDQM (Workshop), Cheju-do, Korea), GDMA (Workshop), Cheju-do, Korea), AIDE (Workshop), Cheju-do, Korea)
fromLecture Notes in Computer Science
The LNCS 12115 constitutes the workshop papers which were held also online in conjunction with the 25th International Conference on Database Systems for Advanced Applications in September 2020. The complete conference includes 119 full papers presented together with 19 short pap…
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers c…
Healthcare analytics has attracted increasing research interests as electronic health records (EHR) and medical image data have skyrocketed over the past decade [1]. EHR and lab reports contain rich text, visual, and time series information such as a patient’s medical and diagno…
Software engineering and formal methods: SEFM 2019 collocated workshops: CoSim-CPS, ASYDE,…
by International Conference on Software Engineering and Formal Methods, Oslo, Norway), CoSim-CPS (Workshop), Oslo, Norway), ASYDE (Workshop), Oslo, Norway), CIFMA (Workshop), Oslo, Norway), International Workshop on the Foundations of Coordination Languages and Software Architectures, Oslo, Norway)
fromLecture Notes in Computer Science
he volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully r…
"This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the tr…
This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the tra…
This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2020, held in Zhengzhou, China, in October 2020. The 70 full papers, 30 poster papers and 14 workshop paper…
This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2020, held in Zhengzhou, China, in October 2020. The 70 full papers, 30 poster papers and 14 workshop paper…
This book constitutes the proceedings of the 13th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2020, which was planned to take place in Washington, DC, USA. Due to the COVID-19 pandemic the conference was held online during October 18-21, 2020…