500 search results - page 3 / 100 » Streaming tree automata |
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
Tree automata with one memory have been introduced in
CSR
2007
Springer
15 years 3 months ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
70
Voted
IRI
2008
IEEE
15 years 3 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
67
Voted
LICS
1996
IEEE
15 years 1 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
87
Voted
LATA
2009
Springer
15 years 4 months ago
2009
Springer
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 rest...