|
Showing 1 - 7 of
7 matches in All Departments
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.
|
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Paperback, 2012 ed.)
Martin Kutrib, Nelma Moreira, Rogerio Reis
|
R1,569
Discovery Miles 15 690
|
Ships in 10 - 15 working days
|
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.
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.
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 conference
took place in an hybrid format with both in-person and online
participation.The 27 full papers included in these proceedings were
carefully reviewed and selected from 48 submissions. The DLT
conference series provides a forum for presenting current
developments in formal languages and automata. Its scope is very
general and includes, among others, the following topics and areas:
grammars, acceptors and transducers for words, trees and graphs;
algebraic theories of automata; algorithmic, combinatorial, and
algebraic properties of words and languages; variable length codes;
symbolic dynamics; cellular automata; polyominoes and
multidimensional patterns; decidability questions; image
manipulation and compression; efficient text algorithms;
relationships to cryptography, concurrency, complexity theory, and
logic; bio-inspired computing; quantum computing. The book also
includes 3 invited talks in full paper length.
|
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Paperback, 1st ed. 2020)
Emil Sekerinski, Nelma Moreira, Jose N. Oliveira, Daniel Ratiu, Riccardo Guidotti, …
|
R1,636
Discovery Miles 16 360
|
Ships in 10 - 15 working days
|
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; 8th International Symposium From Data
to Models and Back, DataMod 2019; First Formal Methods for
Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal
Methods for Blockchains, FMBC 2019; 8th International Workshop on
Formal Methods for Interactive Systems, FMIS 2019; First History of
Formal Methods Workshop, HFM 2019; 8th International Workshop on
Numerical and Symbolic Abstract Domains, NSAD 2019; 9th
International Workshop on Open Community Approaches to Education,
Research and Technology, OpenCERT 2019; 17th Overture Workshop,
Overture 2019; 19th Refinement Workshop, Refine 2019; First
International Workshop on Reversibility in Programming, Languages,
and Automata, RPLA 2019; 10th International Workshop on Static
Analysis and Systems Biology, SASB 2019; and the 10th Workshop on
Tools for Automatic Program Analysis, TAPAS 2019.
|
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Paperback, 1st ed. 2020)
Emil Sekerinski, Nelma Moreira, Jose N. Oliveira, Daniel Ratiu, Riccardo Guidotti, …
|
R1,652
Discovery Miles 16 520
|
Ships in 10 - 15 working days
|
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; 8th International Symposium From Data
to Models and Back, DataMod 2019; First Formal Methods for
Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal
Methods for Blockchains, FMBC 2019; 8th International Workshop on
Formal Methods for Interactive Systems, FMIS 2019; First History of
Formal Methods Workshop, HFM 2019; 8th International Workshop on
Numerical and Symbolic Abstract Domains, NSAD 2019; 9th
International Workshop on Open Community Approaches to Education,
Research and Technology, OpenCERT 2019; 17th Overture Workshop,
Overture 2019; 19th Refinement Workshop, Refine 2019; First
International Workshop on Reversibility in Programming, Languages,
and Automata, RPLA 2019; 10th International Workshop on Static
Analysis and Systems Biology, SASB 2019; and the 10th Workshop on
Tools for Automatic Program Analysis, TAPAS 2019.
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.
|
|