2944 search results - page 123 / 589 » On Well Quasi-orders on Languages |
124
click to vote
IANDC
2011
14 years 7 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...
120
click to vote
JLP
2010
14 years 7 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
130
Voted
IHI
2012
13 years 8 months ago
2012
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
118
Voted
ICDT
2012
ACM
13 years 3 months ago
2012
ACM
The problems of query containment, equivalence, and minimization are recognized as very important in the context of query processing, specifically of query optimization. In their...
103
Voted
PODS
2004
ACM
16 years 25 days ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...