Login

Droste, Manfred

Handbook of Weighted Automata

Droste, Manfred - Handbook of Weighted Automata, ebook

148,80€

Ebook, PDF with Adobe DRM
ISBN: 9783642014925
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Semirings and Formal Power Series
Manfred Droste, Werner Kuich

2. Fixed Point Theory
Zoltán Ésik

3. Finite Automata
Zoltán Ésik, Werner Kuich

4. Rational and Recognisable Power Series
Jacques Sakarovitch

5. Weighted Automata and Weighted Logics
Manfred Droste, Paul Gastin

6. Weighted Automata Algorithms
Mehryar Mohri

7. Algebraic Systems and Pushdown Automata
Ion Petre, Arto Salomaa

8. Lindenmayer Systems
Juha Honkala

9. Weighted Tree Automata and Tree Transducers
Zoltán Fülöp, Heiko Vogler

10. Traces, Series-Parallel Posets, and Pictures: AWeighted Study
Ina Fichtner, Dietrich Kuske, Ingmar Meinecke

11. Digital Image Compression
Jürgen Albert, Jarkko Kari

12. Fuzzy Languages
George Rahonis

13. Model Checking Linear-Time Properties ofProbabilistic Systems
Christel Baier, Marcus Größer, Frank Ciesinski

14. Applications of Weighted Automata in Natural Language Processing
Kevin Knight, Jonathan May

Keywords: Computer Science, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Mathematical Logic and Foundations, Mathematics of Computing, Artificial Intelligence (incl. Robotics)

Author(s)
 
 
Publisher
Springer
Publication year
2009
Language
en
Edition
1
Series
Monographs in Theoretical Computer Science. An EATCS Series
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642014925

Similar titles