Sciweavers

503 search results - page 17 / 101

» Probabilistic Weighted Automata

135

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 10 months ago

Pebble Weighted Automata and Transitive Closure Logics

Download www.lsv.ens-cachan.fr

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...

claim paper

Read More »

139

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 10 months ago

Optimal Paths in Weighted Timed Automata

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

138

CSR
2006
Springer

80views Theoretical Computer Science» more CSR 2006»

Conjugacy and Equivalence of Weighted Automata and Functional Transducers

15 years 9 months ago

Conjugacy and Equivalence of Weighted Automata and Functional Transducers

Download www-igm.univ-mlv.fr

We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....

Marie-Pierre Béal, Sylvain Lombardy, Jacque...

claim paper

Read More »

131

WIA
2000
Springer

113views Artificial Intelligence» more WIA 2000»

Generic epsilon -Removal Algorithm for Weighted Automata

15 years 9 months ago

Generic epsilon -Removal Algorithm for Weighted Automata

Download www.lrde.epita.fr

Mehryar Mohri

claim paper

Read More »

126

JALC
2007

69views more JALC 2007»

Weighted Automata for Proving Termination of String Rewriting

15 years 5 months ago

Weighted Automata for Proving Termination of String Rewriting

Download www.imn.htwk-leipzig.de

Johannes Waldmann

claim paper

Read More »

« Prev « First page 17 / 101 Last » Next »