The Resource Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors
Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors
Resource Information
The item Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 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 contextfree grammars have found application in naturallanguage 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 naturallanguage 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
 Language
 eng
 Extent
 1 online resource (xvii, 608 pages)
 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, SeriesParallel Posets, and Pictures: A Weighted Study. Part IV, Applications: Digital Image Compression
 Fuzzy Languages
 Model Checking LinearTime Properties of Probabilistic Systems
 Applications of Weighted Automata in Natural Language Processing. Index
 Isbn
 9783642014925
 Label
 Handbook of weighted automata
 Title
 Handbook of weighted automata
 Statement of responsibility
 Manfred Droste, Werner Kuich, Heiko Vogler, editors
 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 contextfree grammars have found application in naturallanguage 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 naturallanguage 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
 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
 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, SeriesParallel Posets, and Pictures: A Weighted Study. Part IV, Applications: Digital Image Compression  Fuzzy Languages  Model Checking LinearTime 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/9783642014925
 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
 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, SeriesParallel Posets, and Pictures: A Weighted Study. Part IV, Applications: Digital Image Compression  Fuzzy Languages  Model Checking LinearTime 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/9783642014925
 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/HandbookofweightedautomataManfredDroste/J1QvNEYQfXw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/HandbookofweightedautomataManfredDroste/J1QvNEYQfXw/">Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/HandbookofweightedautomataManfredDroste/J1QvNEYQfXw/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/HandbookofweightedautomataManfredDroste/J1QvNEYQfXw/">Handbook of weighted automata, Manfred Droste, Werner Kuich, Heiko Vogler, editors</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>