A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedure…
"75" Result
Sort By:
Automating Linguistics offers an in-depth study of the history of the mathematisation and automation of the sciences of language. In the wake of the first mathematisation of the 1930s, two waves followed: machine translation in the 1950s and the development of computational ling…
This book constitutes revised and extended selected papers of the Third IEEE Colombian Conference, ColCACI 2020, held in Cali, Colombia, August 2020. Due to the COVID-19 pandemic the conference was held online. The12 full papers presented were carefully reviewed and selected fro…
This book constitutes the proceedings of the 17th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2020, held in Yokohama, Japan, in January 2021. The 10 full papers and 5 short papers included in this volume were carefully reviewed an…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Technologies and Applications, INTAP 2019, held in Bahawalpur, Pakistan, in November 2019. The 60 revised full papers and 6 revised short papers presented were carefully reviewed…
This book constitutes the proceedings of the 16th International Symposium on Bioinformatics Research and Applications, ISBRA 2020, held in Moscow, Russia, in December 2020. The 23 full papers and 18 short papers presented in this book were carefully reviewed and selected from 13…
This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in July 2020. Due to the COVID-19 pandemic the conference was held online. The 25 full papers and 8 short papers presente…
This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in July 2020. Due to the COVID-19 pandemic the conference was held online. The 25 full papers and 8 short papers presente…
This book constitutes refereed proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in July 2020. Due to the COVID-19 pandemic the conference was held online. The 25 full papers and 8 short papers presente…
This volume constitutes the refereed proceedings of the 10th International Conference on Multimedia Communications, Services and Security, MCSS 2020, held in Kraków, Poland, in October 2020. The 24 full papers and 2 short papers included in the volume were selected from 54 submi…
This proceedings book is a collection of high-quality peer-reviewed research papers presented at the International Conference of Experimental and Numerical Investigations and New Technologies (CNNTech2020) held at Zlatibor, Serbia, from 29th June to 2nd July 2020. The book discu…
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The i…
This book constitutes the proceedings of the Third International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2020, held in Guildford, UK, in September 2020. The 10 full papers presented in this volume were carefully reviewed and selected from 15 …
This book constitutes the refereed proceedings of the 22nd International Conference on Asia-Pacific Digital Libraries, ICADL 2020, which was planned to be held in Kyoto, Japan, in November/December 2020, but it was held virtually due to the COVID-19 pandemic. The 10 full, 15 sho…
This book constitutes the refereed proceedings of the Second Multidisciplinary International Symposium, MISDOOM 2020, held in Leiden, The Netherlands, in October 2020.* The 18 full papers were carefully reviewed and selected from 23 submissions. The papers deal with the interdis…
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presen…
This book details the conceptual foundations, design and implementation of the domain-specific language (DSL) development system DjDSL. DjDSL facilitates design-decision-making on and implementation of reusable DSL and DSL-product lines, and represents the state-of-the-art in la…
This book constitutes the proceedings of the Second International Conference on Smart Multimedia, ICSM 2019, which was held in San Diego, CA, USA, in December 2019. The 45 papers presented were selected from about 100 submissions and are grouped in sections on 3D mesh and depth …
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. Th…