Sciweavers

495 search results - page 11 / 99
» Automata and differentiable words
Sort
View
CAV
2006
Springer
80views Hardware» more  CAV 2006»
15 years 1 months ago
Don't Care Words with an Application to the Automata-Based Approach for Real Addition
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
Jochen Eisinger, Felix Klaedtke
CORR
2008
Springer
69views Education» more  CORR 2008»
14 years 10 months ago
Safety alternating automata on data words
Ranko Lazic
FUIN
2006
79views more  FUIN 2006»
14 years 10 months ago
Automata Recognizing No Words: A Statistical Approach
Cristian S. Calude, Cezar Câmpeanu, Monica D...
63
Voted
ICALP
2005
Springer
15 years 3 months ago
Decidability and Complexity Results for Timed Automata via Channel Machines
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...