835 search results - page 13 / 167 » Structural Recursion as a Query Language |
CW
2005
IEEE
14 years 1 months ago
2005
IEEE
XML information retrieval (XML-IR) systems aim to provide users with highly exhaustive and highly specific results. To interact with XML-IR systems, users must express both their ...
ICALP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
DASFAA
2003
IEEE
14 years 25 days ago
2003
IEEE
The increase in the use of XML (eXtensible Markup Language) makes the semistructured data more and more important on the Web. To exploit the full power of XML documents, a query l...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
SBIA
2004
Springer
14 years 27 days ago
2004
Springer
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...