Sciweavers

665 search results - page 7 / 133

» The Theory of Hybrid Automata

27

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

14 years 1 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 »

19

SIGMOD
2002
ACM

144views Database» more SIGMOD 2002»

Automata Theory for XML Researchers

14 years 8 months ago

Automata Theory for XML Researchers

Download www.cs.earlham.edu

Frank Neven

claim paper

Read More »

18

LATA
2009
Springer

120views Artificial Intelligence» more LATA 2009»

Converting Self-verifying Automata into Deterministic Automata

14 years 3 months ago

Converting Self-verifying Automata into Deterministic Automata

Download homes.dico.unimi.it

Galina Jirásková, Giovanni Pighizzin...

claim paper

Read More »

19

LATA
2009
Springer

82views Artificial Intelligence» more LATA 2009»

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

14 years 3 months ago

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya

claim paper

Read More »

26

LATA
2010
Springer

163views Artificial Intelligence» more LATA 2010»

Some Minimality Results on Biresidual and Biseparable Automata

14 years 1 months ago

Some Minimality Results on Biresidual and Biseparable Automata

Download cs.ioc.ee

Hellis Tamm

claim paper

Read More »

« Prev « First page 7 / 133 Last » Next »