7006 search results - page 154 / 1402 » Approximation Algorithms |
103
Voted
SIGMOD
1998
ACM
15 years 7 months ago
1998
ACM
We present new algorithms for computing approximate quantiles of large datasets in a single pass. The approximation guarantees are explicit, and apply without regard to the value ...
106
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
140
click to vote
CIAC
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we consider variants of the traveling salesman problem with precedence constraints. We characterize hard input instances for Christofides' algorithm and Hoogeve...
109
Voted
APPROX
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a new problem in the study of doubling spaces: Given a point set S and a target dimension d , remove from S the fewest number of points so that the remaining set has d...
134
Voted
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...