415 search results - page 28 / 83 » Regular Processes and Timed Automata |
147
Voted
IANDC
2011
14 years 10 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
126
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
We consider the problem of evaluating large numbers of XPath filters, each with many predicates, on a stream of XML documents. The solution we propose is to lazily construct a sin...
122
Voted
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
Parallel magnetic resonance imaging (pMRI) using multiple receiver coils has emerged as a powerful 3D imaging technique for reducing scanning time or increasing image resolution. ...
132
Voted
IJFCS
2006
15 years 3 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
275
Voted
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper presents SPEX, a streamed and progressive evaluation of regular path expressions with XPath-like qualifiers against XML streams. SPEX proceeds as follows. An expression...