4095 search results - page 439 / 819 » How to test a tree |
118
click to vote
XIMEP
2005
ACM
15 years 11 months ago
2005
ACM
We outline an efficient ACID-compliant mechanism for structural inserts and deletes in relational XML document storage that uses a region based pre/size/level encoding (equivalent...
164
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
143
click to vote
CIE
2005
Springer
15 years 11 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
136
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
Web page clustering is a technology that puts semantically related web pages into groups and is useful for categorizing, organizing, and refining search results. When clustering ...
157
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...