835 search results - page 84 / 167 » Structural Recursion as a Query Language |
129
Voted
BTW
2003
Springer
15 years 7 months ago
2003
Springer
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...
226
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
116
click to vote
CORR
2010
Springer
15 years 7 days ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
117
click to vote
IJMSO
2008
15 years 2 months ago
2008
: Recent advances in the Semantic Web research community actuated the experimentation with a variety of approaches concerning the retrieval of Semantic Web Documents (SWDs). Most a...
138
Voted
DASFAA
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. In this paper, we present a FASST mining approach to extract the frequently changing semantic structures (FASSTs), which are a subset of semantic substructures that chang...