Zur Startseite gehen
0,00 €*
Cover: 9783642014918 | Handbook of Weighted Automata | Manfred Droste (u. a.) | Buch | XVII
Dekorationsartikel gehören nicht zum Leistungsumfang.
Handbook of Weighted Automata
Buch von Manfred Droste (u. a.)
Sprache: Englisch

191,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount of resources or time needed for this,or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the ¿resources¿ by ¿profit¿ and then be interested in the maximal profit realized, correspondingly, by a given word.
The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount of resources or time needed for this,or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the ¿resources¿ by ¿profit¿ and then be interested in the maximal profit realized, correspondingly, by a given word.
Zusammenfassung

Includes supplementary material: [...]

Inhaltsverzeichnis
Foundations.- Semirings and Formal Power Series.- Fixed Point Theory.- Concepts of Weighted Recognizability.- Finite Automata.- Rational and Recognisable Power Series.- Weighted Automata and Weighted Logics.- Weighted Automata Algorithms.- 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.- Applications.- Digital Image Compression.- Fuzzy Languages.- Model Checking Linear-Time Properties of Probabilistic Systems.- Applications of Weighted Automata in Natural Language Processing.
Details
Medium: Buch
Seiten: 628
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: xvii
608 S.
ISBN-13: 9783642014918
ISBN-10: 3642014917
Sprache: Englisch
Herstellernummer: 12073184
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Redaktion: Droste, Manfred
Vogler, Heiko
Kuich, Werner
Herausgeber: Manfred Droste/Werner Kuich/Heiko Vogler
Auflage: 2009
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 241 x 160 x 43 mm
Von/Mit: Manfred Droste (u. a.)
Erscheinungsdatum: 28.09.2009
Gewicht: 1,213 kg
preigu-id: 101557263
Zusammenfassung

Includes supplementary material: [...]

Inhaltsverzeichnis
Foundations.- Semirings and Formal Power Series.- Fixed Point Theory.- Concepts of Weighted Recognizability.- Finite Automata.- Rational and Recognisable Power Series.- Weighted Automata and Weighted Logics.- Weighted Automata Algorithms.- 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.- Applications.- Digital Image Compression.- Fuzzy Languages.- Model Checking Linear-Time Properties of Probabilistic Systems.- Applications of Weighted Automata in Natural Language Processing.
Details
Medium: Buch
Seiten: 628
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Inhalt: xvii
608 S.
ISBN-13: 9783642014918
ISBN-10: 3642014917
Sprache: Englisch
Herstellernummer: 12073184
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Redaktion: Droste, Manfred
Vogler, Heiko
Kuich, Werner
Herausgeber: Manfred Droste/Werner Kuich/Heiko Vogler
Auflage: 2009
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Monographs in Theoretical Computer Science. An EATCS Series
Maße: 241 x 160 x 43 mm
Von/Mit: Manfred Droste (u. a.)
Erscheinungsdatum: 28.09.2009
Gewicht: 1,213 kg
preigu-id: 101557263
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783540592136 | Elektrische Antriebe | Rolf Schönfeld | Taschenbuch | Paperback | XIV
Elektrische Antriebe
Bewegungsanalyse, Drehmomentsteuerung, Bewegungssteuerung
EAN: 9783540592136
Von/Mit: Rolf Schönfeld

49,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783540209911 | Parallelkinematische Maschinen | Entwurf, Konstruktion, Anwendung
Parallelkinematische Maschinen
Entwurf, Konstruktion, Anwendung
EAN: 9783540209911
Sprache: Deutsch
Von/Mit: Reimund Neugebauer

89,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781430263760 | Digital Asset Management | Elizabeth Keathley | Taschenbuch | Englisch
Digital Asset Management
Content Architectures, Project Management, and Creating Order out of Media Chaos
EAN: 9781430263760
Sprache: Englisch
Von/Mit: Elizabeth Keathley

50,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783662084496 | Magnetlager | Gerhard Schweitzer (u. a.) | Taschenbuch | Springer
Magnetlager
Grundlagen, Eigenschaften und Anwendungen berührungsfreier, elektromagnetischer Lager
EAN: 9783662084496
Sprache: Deutsch
Von/Mit: Gerhard Schweitzer (u. a.)

59,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781840785708 | JavaScript in Easy Steps | Mike Mcgrath | Taschenbuch | In Easy Steps
JavaScript in Easy Steps
EAN: 9781840785708
Sprache: Englisch
Von/Mit: Mike Mcgrath

15,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9789811065521 | Advances in Mechanical Design | Jianrong Tan (u. a.) | Buch | 2 Bücher
Advances in Mechanical Design
Proceedings of the 2017 International Conference on Mechanical Design (ICMD2017)
EAN: 9789811065521
Sprache: Englisch
Von/Mit: Jianrong Tan (u. a.)

277,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781529345995 | Rule of the Robots | Martin Ford | Taschenbuch | Englisch | 2021
Rule of the Robots
EAN: 9781529345995
Sprache: Englisch
Von/Mit: Martin Ford

16,95 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9789811680656 | Model Predictive Control for AC Motors | Yaofei Han (u. a.) | Buch
Model Predictive Control for AC Motors
Robustness and Accuracy Improvement Techniques
EAN: 9789811680656
Sprache: Englisch
Von/Mit: Yaofei Han (u. a.)

46,95 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9781032267203 | A Concise Introduction to Robot Programming with ROS2 | Rico | Buch
A Concise Introduction to Robot Programming with ROS2
EAN: 9781032267203
Von/Mit: Francisco Martin Rico

144,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783031798238 | Introduction to Embedded Systems | David Russell | Taschenbuch | XX
Introduction to Embedded Systems
Using ANSI C and the Arduino Development Environment
EAN: 9783031798238
Sprache: Englisch
Von/Mit: David Russell

53,40 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...