204 search results - page 15 / 41 » The Language, the Expression, and the (Small) Automaton |
113
click to vote
ICDT
2007
ACM
15 years 8 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
116
click to vote
STACS
1994
Springer
15 years 6 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
112
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
126
click to vote
JMLC
2000
Springer
15 years 5 months ago
2000
Springer
A namespace is a mapping from labels to values. Most programming languages support different forms of namespaces, such as records, dictionaries, objects, environments, packages and...
119
click to vote
AAAI
1996
15 years 3 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...