3653 search results - page 87 / 731 » On Recognizable Timed Languages |
133
Voted
STACS
2001
Springer
15 years 9 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
125
click to vote
ZEUS
2010
15 years 6 months ago
2010
The control-flow of business workflows is characterized by the strict execution order of the activities that is already defined at design time. This well-structured control-flow is...
165
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
171
Voted
USENIX
2000
15 years 6 months ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
149
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...