1246 search results - page 171 / 250 » Recursive Timed Automata |
128
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
109
click to vote
CONIELECOMP
2005
IEEE
15 years 8 months ago
2005
IEEE
The approximate searching problem on compressed text tries to find all the matches of a pattern in a compressed text, without decompressing it and considering that the match of th...
133
click to vote
ACRI
2004
Springer
15 years 8 months ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...
103
click to vote
WIA
2004
Springer
15 years 7 months ago
2004
Springer
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...
124
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...