Sciweavers

3040 search results - page 409 / 608
» Independent Natural Extension
Sort
View
HIPC
2007
Springer
16 years 23 days ago
Distributed Ranked Search
P2P deployments are a natural infrastructure for building distributed search networks. Proposed systems support locating and retrieving all results, but lack the information necess...
Vijay Gopalakrishnan, Ruggero Morselli, Bobby Bhat...
ICALP
2007
Springer
16 years 23 days ago
Lower Bounds for Quantile Estimation in Random-Order and Multi-pass Streaming
We present lower bounds on the space required to estimate the quantiles of a stream of numerical values. Quantile estimation is perhaps the most studied problem in the data stream ...
Sudipto Guha, Andrew McGregor
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 23 days ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
145
Voted
INEX
2007
Springer
16 years 23 days ago
INEX 2007 Evaluation Measures
Abstract. This paper describes the official measures of retrieval effectiveness that are employed for the Ad Hoc Track at INEX 2007. Whereas in earlier years all, but only, XML el...
Jaap Kamps, Jovan Pehcevski, Gabriella Kazai, Moun...
MDM
2007
Springer
123views Communications» more  MDM 2007»
16 years 22 days ago
Group Anti-Entropy - Achieving Eventual Consistency in Mobile Service Environments
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
Klaus Herrmann