762 search results - page 50 / 153 » Intercode Regular Languages |
118
Voted
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
We explore the intersection between an emerging class of architectures and a prominent workload: GPGPUs (General-Purpose Graphics Processing Units) and regular expression matching...
146
Voted
DBPL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...
102
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
115
click to vote
PODS
2003
ACM
16 years 2 months ago
2003
ACM
In this paper we consider general path constraints for semistructured databases. Our general constraints do not suffer from the limitations of the path constraints previously stud...
141
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...