Nelma Moreira – författare
Visar alla böcker från författaren Nelma Moreira. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
Del 12232 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Häftad, Engelska, 2020
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
Del 12233 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Häftad, Engelska, 2020
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019;
Del 12811 - Lecture Notes in Computer Science
Developments in Language Theory
25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
Häftad, Engelska, 2021
943 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The DLT conference series provides a forum for presenting current developments in formal languages and automata.
Häftad, Engelska, 1991
558 kr
Skickas inom 10-15 vardagar
This volume is the proceedings of the Second Advanced School on Artificial Intelligence (EAIA '90) held in Guarda, Portugal, October 8-12, 1990. The focus of the contributions is natural language processing. Two types of subject are covered: - Linguistically motivated theories, presented at an introductory level, such as X-bar theory and head- driven phrase structure grammar, - Recent trends in formalisms which will be familiar to readers with a background in AI, such as Montague semantics and situation semantics. The topics were chosen to provide a balanced overview of the most important ideas in natural language processing today. Some of the results presented were worked out very recently, are the subject of ongoing research, and have not previously appeared in book form. This book may serve as a textbook: in fact its contents were intended as lecture notes.
Häftad, Engelska, 2012
542 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, held in Porto, Portugal, in July 2012. The 21 revised full papers presented together with 5 invited papers and 7 short papers were carefully selected from 53 submissions. The papers cover various topics such as automata applications in formal verification methods, natural language processing, pattern matching, data storage and retrieval, and bioinformatics, as well as theoretical work on automata theory.
Häftad, Engelska, 2012
558 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.
Inbunden, Engelska, 2017
1 558 kr
Skickas inom 3-6 vardagar
This volume brings together the work of several prominent researchers who have collaborated with Janusz Brzozowski, or worked in topics he developed, in the areas of regular languages, syntactic semigroups of formal languages, the dot-depth hierarchy, and formal modeling of circuit testing and software specification using automata theory.