3663 search results - page 656 / 733 » Problems in the ontology of computer programs |
153
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
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 ...
169
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
144
click to vote
ICALP
2007
Springer
16 years 10 days ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
168
click to vote
CRV
2006
IEEE
16 years 7 days ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
162
click to vote
ASPDAC
2006
ACM
16 years 5 days ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...