3750 search results - page 173 / 750 » Timed Automata Patterns |
183
click to vote
CC
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
198
click to vote
IJCAI
1993
15 years 7 months ago
1993
This paper introduces a new concept, a decision tree (or list) over tree patterns, which is a natural extension of a decision tree (or decision list), for dealing with tree struct...
192
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—It is increasingly common to find graphs in which edges bear different types, indicating a variety of relationships. For such graphs we propose a class of reachability queries ...
161
click to vote
SPIRE
2005
Springer
15 years 12 months ago
2005
Springer
We consider the problem of finding pairs of short patterns such that, in a given input sequence of length n, the distance between each pair’s patterns is at least α. The proble...
161
click to vote
DLT
2004
15 years 7 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...