4911 search results - page 813 / 983 » Tree dependence analysis |
MKM
2004
Springer
14 years 4 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
MMB
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, we characterize the user behavior in a peer-to-peer (P2P) file sharing network. Our characterization is based on the results of an extensive passive measurement stu...
PACS
2004
Springer
14 years 4 months ago
2004
Springer
There has been intensive research on data prefetching focusing on performance improvement, however, the energy aspect of prefetching is relatively unknown. Our experiments show th...
VLDB
2004
ACM
14 years 4 months ago
2004
ACM
When query optimizers erroneously assume that database columns are statistically independent, they can underestimate the selectivities of conjunctive predicates by orders of magni...
VLDB
2004
ACM
14 years 4 months ago
2004
ACM
The clinical and basic science research domains present exciting and difficult data integration issues. Solving these problems is crucial as current research efforts in the field ...