Weighted Restarting Automata
Author : Qichao Wang
Publisher : kassel university press GmbH
Page : 159 pages
File Size : 40,79 MB
Release : 2018-01-17
Category :
ISBN : 3737604460
Implementation and Application of Automata
Author : Yo-Sub Han
Publisher : Springer
Page : 348 pages
File Size : 48,59 MB
Release : 2016-07-05
Category : Computers
ISBN : 3319409468
Book Description
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis.
Algebraic Informatics
Author : Andreas Maletti
Publisher : Springer
Page : 231 pages
File Size : 33,90 MB
Release : 2015-09-09
Category : Computers
ISBN : 3319230212
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling.
Author :
Publisher : Springer Nature
Page : 415 pages
File Size : 38,10 MB
Release :
Category :
ISBN : 3031700945
Book Description
Algorithmic Aspects in Information and Management
Author : Ding-Zhu Du
Publisher : Springer
Page : 363 pages
File Size : 35,18 MB
Release : 2019-08-01
Category : Computers
ISBN : 3030271951
Book Description
This volume constitutes the proceedings of the 13th International Conference on Algorithmic Aspects in Information and Management, AAIM 2019, held in Bejing, China in August 2019. The 31 full papers presented were carefully reviewed and selected. The papers deal with most aspects of theoretical computer science and their applications. Special considerations are given to algorithmic research that is motivated by real-world applications.
Implementation and Application of Automata
Author : Markus Holzer
Publisher : Springer
Page : 356 pages
File Size : 45,48 MB
Release : 2014-07-05
Category : Computers
ISBN : 3319088467
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014. The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 submissions. The papers cover all aspects of implementation, application, and theory of automata and related structures such as algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers, computer-aided verification, concurrency, data structure design for automata, data and image compression, design and architecture of automata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide Web.
Shall We Play the Festschrift Game?
Author : Diana Santos
Publisher : Springer Science & Business Media
Page : 248 pages
File Size : 35,54 MB
Release : 2012-08-14
Category : Computers
ISBN : 3642307736
Book Description
There are not many people who can be said to have influenced and impressed researchers in so many disparate areas and language-geographic fields as Lauri Carlson, as is evidenced in the present Festschrift. His insight and acute linguistic sensitivity and linguistic rationality have spawned findings and research work in many areas, from non-standard etymology to hardcore formal linguistics, not forgetting computational areas such as parsing, terminological databases, and, last but not least, machine translation. In addition to his renowned and widely acknowledged insights in tense and aspect and its relationship with nominal quantification, and his ground-breaking work in dialog using game-theoretic machinery, Lauri has in the last fifteen years as Professor of Language Theory and Translation Technology contributed immensely to areas such as translation, terminology and general applications of computational linguistics. The three editors of the present volume have successfully performed doctoral studies under Lauri’s supervision, and wish with this volume to pay tribute to his supervision and to his influence in matters associated with research and scientific, linguistic and philosophical inquiry, as well as to his humanity and friendship.
Mathematical Foundations of Computer Science 2005
Author : Joanna Jedrzejowicz
Publisher : Springer
Page : 829 pages
File Size : 38,43 MB
Release : 2005-09-14
Category : Computers
ISBN : 3540318674
Book Description
This volume contains the papers presented at the 30th Symposium on Mathematical Foundations of Computer Science (MFCS 2005) held in Gdansk, Poland from August 29th to September 2nd, 2005.
Computer Science -- Theory and Applications
Author : Dima Grigoriev
Publisher : Springer Science & Business Media
Page : 697 pages
File Size : 36,26 MB
Release : 2006-05-15
Category : Computers
ISBN : 3540341668
Book Description
The International Symposium on Computer Science in Russia (CSR 2006) was held on June 8–12, 2006 in St. Petersburg, Russia, hosted by the Steklov Institute of Mathematics at St. Petersburg.
Implementation and Application of Automata
Author : Stavros Konstantinidis
Publisher : Springer
Page : 370 pages
File Size : 31,40 MB
Release : 2013-07-11
Category : Computers
ISBN : 3642392741
Book Description
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata; picture languages; pushdown automata; queue automata; reachability analysis for software verification; restarting automata; transducers; tree automata; weighted automata; XML streams.
