5326 search results - page 116 / 1066 » On what we can ensure |
135
click to vote
IS
2008
15 years 6 months ago
2008
This paper presents a survey and an analysis of the XQuery benchmark publicly available in 2006 -- XMach-1, XMark, X007, the Michigan benchmark, and XBench -- from different persp...
152
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
We consider algorithms for preprocessing labelled lists and trees so that, for any two nodes u and v we can answer queries of the form: What is the mode or median label in the sequ...
151
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
265
click to vote
ACL
2003
15 years 7 months ago
2003
This paper investigates an application of the ranked region algebra to information retrieval from large scale but unannotated documents. We automatically annotated documents with ...
163
click to vote
AIED
2009
Springer
16 years 28 days ago
2009
Springer
We propose a design model for guiding learning in exploratory environments through representational choices. Selecting the appropriate representations at the correct granularity ca...