Logga in

Droste, Manfred

Handbook of Weighted Automata

Droste, Manfred - Handbook of Weighted Automata, e-bok

131,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783642014925
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
 
 
Utgivare
Springer
Utgivningsår
2009
Språk
en
Utgåva
1
Serie
Monographs in Theoretical Computer Science. An EATCS Series
Sidantal
17 sidor
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783642014925

Liknande e-böcker