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

246,09 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

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
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
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
Artikel-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
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
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
Artikel-ID: 101557263
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Buch
Cover: 9780471127321 | Nonlinear Control Design | Krstic (u. a.) | Buch | XVI | Englisch
Nonlinear and Adaptive Control Design
EAN: 9780471127321
Sprache: Englisch
Von/Mit: Miroslav Krstic (u. a.)

245,50 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783540624158 | Koordinatenmeßtechnik für die Qualitätssicherung | Tilo Pfeifer | Buch
Koordinatenmeßtechnik für die Qualitätssicherung
Grundlagen ¿ Technologien ¿ Anwendungen ¿ Erfahrungen
EAN: 9783540624158
Sprache: Deutsch
Von/Mit: Tilo Pfeifer

54,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783211211946 | Automatisierung komplexer Industrieprozesse | Bernard Favre-Bulle | XI
Automatisierung komplexer Industrieprozesse
Systeme, Verfahren und Informationsmanagement
EAN: 9783211211946
Sprache: Deutsch
Von/Mit: Bernard Favre-Bulle

59,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781447153337 | The Hand and the Brain | Göran Lundborg | Taschenbuch | Paperback
The Hand and the Brain
From Lucy's Thumb to the Thought-Controlled Robotic Hand
EAN: 9781447153337
Sprache: Englisch
Von/Mit: Göran Lundborg

48,14 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781441919014 | Parsing Techniques | A Practical Guide | Ceriel J. H. Jacobs (u. a.)
Parsing Techniques
A Practical Guide
EAN: 9781441919014
Sprache: Englisch
Von/Mit: Ceriel J. H. Jacobs (u. a.)

235,39 €*

Aktuell nicht verfügbar

Buch
Cover: 9783319750484 | Artificial Adaptive Systems Using Auto Contractive Maps | Buch | vii
Artificial Adaptive Systems Using Auto Contractive Maps
Theory, Applications and Extensions
EAN: 9783319750484
Sprache: Englisch
Von/Mit: Paolo Massimo Buscema (u. a.)

100,95 €*

Lieferzeit 1-2 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

17,40 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9781119802617 | Introduction to UAV Systems | Mohammad H. Sadraey (u. a.) | Buch
Introduction to UAV Systems
EAN: 9781119802617
Sprache: Englisch
Von/Mit: Mohammad H. Sadraey (u. a.)

147,50 €*

Aktuell nicht verfügbar

Buch
Cover: 9789811956492 | Evolutionary Multi-Task Optimization | Foundations and Methodologies
Evolutionary Multi-Task Optimization
Foundations and Methodologies
EAN: 9789811956492
Sprache: Englisch
Von/Mit: Liang Feng (u. a.)

181,89 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783030881047 | Mechanical Simulation with MATLAB® | Dan B. Marghitu (u. a.) | Buch
Mechanical Simulation with MATLAB®
EAN: 9783030881047
Sprache: Englisch
Von/Mit: Dan B. Marghitu (u. a.)

60,98 €*

Aktuell nicht verfügbar

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