762 search results - page 46 / 153 » Intercode Regular Languages |
130
click to vote
FCT
2009
Springer
15 years 6 months ago
2009
Springer
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...
148
click to vote
NJC
2006
15 years 2 months ago
2006
Regular tree queries (RTQs) are a class of queries considered especially relevant for the expressiveness and evaluation of XML query languages. The algorithms proposed so far for ...
137
click to vote
PAAMS
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
129
click to vote
CONCUR
2009
Springer
15 years 5 days ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
117
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...