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…
This book introduces basic supervised learning algorithms applicable to natural language processing (NLP) and shows how the performance of these algorithms can often be improved by exploiting the marginal distribution of large amounts of unlabeled data. One reason for that is da…
This book introduces basic supervised learning algorithms applicable to natural language processing (NLP) and shows how the performance of these algorithms can often be improved by exploiting the marginal distribution of large amounts of unlabeled data. One reason for that is da…
Annotation
This book introduces basic supervised learning algorithms applicable to natural language processing (NLP) and shows how the performance of these algorithms can often be improved by exploiting the marginal distribution of large amounts of unlabeled data. One reason for that is da…
