Coverart for item
The Resource Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors

Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors

Label
Handbook of weighted automata
Title
Handbook of weighted automata
Statement of responsibility
Manfred Droste, Werner Kuich, Heiko Vogler, editors
Contributor
Subject
Genre
Language
eng
Summary
Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, for example, the cost involved when executing a transition, the resources or time needed for this, or the probability or reliability of its successful execution. Weights can also be added to classical automata with infinite state sets like pushdown automata, and this extension constitutes the general concept of weighted automata. Since their introduction in the 1960s they have stimulated research in related areas of theoretical computer science, including formal language theory, algebra, logic, and discrete structures. Moreover, weighted automata and weighted context-free grammars have found application in natural-language processing, speech recognition, and digital image compression. This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas, and each chapter presents a detailed survey of the state of the art and pointers to future research. The chapters in Part I cover the foundations of the theory of weighted automata, specifically addressing semirings, power series, and fixed point theory. Part II investigates different concepts of weighted recognizability. Part III examines alternative types of weighted automata and various discrete structures other than words. Finally, Part IV deals with applications of weighted automata, including digital image compression, fuzzy languages, model checking, and natural-language processing. Computer scientists and mathematicians will find this book an excellent survey and reference volume, and it will also be a valuable resource for students exploring this exciting research area
Member of
Cataloging source
GW5XE
Dewey number
511.3/5
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA267
LC item number
.H363 2009eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • handbooks
http://library.link/vocab/relatedWorkOrContributorDate
  • 1956-
  • 1941-
  • 1957-
http://library.link/vocab/relatedWorkOrContributorName
  • Droste, Manfred
  • Kuich, Werner
  • Vogler, Heiko
Series statement
Monographs in theoretical computer science,
http://library.link/vocab/subjectName
  • Machine theory
  • COMPUTERS
  • Informatique
  • Machine theory
Label
Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Part I, Foundations: Semirings and Formal Power Series -- Fixed Point Theory. Part II, Concepts of Weighted Recognizability: Finite Automata -- Rational and Recognisable Power Series -- Weighted Automata and Weighted Logics -- Weighted Automata Algorithms. Part III, Weighted Discrete Structures: Algebraic Systems and Pushdown Automata -- Lindenmayer Systems -- Weighted Tree Automata and Tree Transducers -- Traces, Series-Parallel Posets, and Pictures: A Weighted Study. Part IV, Applications: Digital Image Compression -- Fuzzy Languages -- Model Checking Linear-Time Properties of Probabilistic Systems -- Applications of Weighted Automata in Natural Language Processing. Index
Control code
489218906
Dimensions
unknown
Extent
1 online resource (xvii, 608 pages)
File format
unknown
Form of item
online
Isbn
9783642014925
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-01492-5
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)489218906
Label
Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
mixed
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Part I, Foundations: Semirings and Formal Power Series -- Fixed Point Theory. Part II, Concepts of Weighted Recognizability: Finite Automata -- Rational and Recognisable Power Series -- Weighted Automata and Weighted Logics -- Weighted Automata Algorithms. Part III, Weighted Discrete Structures: Algebraic Systems and Pushdown Automata -- Lindenmayer Systems -- Weighted Tree Automata and Tree Transducers -- Traces, Series-Parallel Posets, and Pictures: A Weighted Study. Part IV, Applications: Digital Image Compression -- Fuzzy Languages -- Model Checking Linear-Time Properties of Probabilistic Systems -- Applications of Weighted Automata in Natural Language Processing. Index
Control code
489218906
Dimensions
unknown
Extent
1 online resource (xvii, 608 pages)
File format
unknown
Form of item
online
Isbn
9783642014925
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-01492-5
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)489218906

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...