5138 search results - page 334 / 1028 » Randomized Algorithms for 3-SAT |
180
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. This paper presents an optimisation technique to select automatically a set of control parameters for a Markov Random Field applied to stereo matching. The method is base...
168
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we build multi-resolution source codes using entropy constrained dithered scalar quantizers. We demonstrate that for n-dimensional random vectors, dithering followe...
161
click to vote
SAT
2005
Springer
16 years 4 days ago
2005
Springer
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its running time is at most 2n(1−1...
164
click to vote
CTRSA
2005
Springer
16 years 3 days ago
2005
Springer
HTTP session-id’s take an important role in almost any web site today. This paper presents a cryptanalysis of Java Servlet 128-bit session-id’s and an efficient practical predi...
172
click to vote
COCOON
2001
Springer
15 years 11 months ago
2001
Springer
: We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are conta...