1631 search results - page 141 / 327 » Uniform Distributed Synthesis |
117
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from [16, 17] finds a satisfying assignment of Φ in pol...
100
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper we suggest how several competing image denoising algorithms, differing in design parameters, or even in design principles, can be combined together to yield a better...
107
click to vote
GMP
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...
122
click to vote
COCO
2006
Springer
15 years 6 months ago
2006
Springer
Let C be a class of distributions over {0, 1}n . A deterministic randomness extractor for C is a function E : {0, 1}n {0, 1}m such that for any X in C the distribution E(X) is sta...
143
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...