5138 search results - page 500 / 1028 » Randomized Algorithms for 3-SAT |
168
click to vote
ICRA
2003
IEEE
16 years 6 days ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
166
click to vote
COCO
1994
Springer
15 years 11 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
150
click to vote
FUN
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we consider the question: what is the worst possible page-replacement strategy? Our goal is to devise an online strategy that has the highest possible fraction of mi...
178
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
Consider the following problem: For given graphs G and F1, . . . , Fk, find a coloring of the edges of G with k colors such that G does not contain Fi in color i. For example, if e...
162
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
A standard technique from the hashing literature is to use two hash functions h1(x) and h2(x) to simulate additional hash functions of the form gi(x) = h1(x) + ih2(x). We demonstra...