Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The 65 full papers, 41 short papers, 19 demonstration papers, and 12 reproducibility papers, 10 doctoral consortium papers were carefully reviewed and selected from 489 submissions.
Bemærk: Kan ikke leveres før jul.
This book gathers outstanding research papers presented in the 2nd International Conference on Artificial Intelligence: Advances and Application (ICAIAA 2021), held in Poornima College of Engineering, Jaipur, India during 27-28 March 2021.
Bemærk: Kan ikke leveres før jul.
This book gives a comprehensive view of graph theory in informational retrieval (IR) and natural language processing(NLP). The first part gives graph theory basics and graph networks, and the second part provides basics of IR with graph-based information retrieval.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The majority of natural language processing (NLP) is English language processing, and while there is good language technology support for (standard varieties of) English, support for Albanian, Burmese, or Cebuano--and most other languages--remains limited.
Bemærk: Kan ikke leveres før jul.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022.