3356 search results - page 542 / 672 » Thresholds and Expectation Thresholds |
164
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
184
click to vote
TCSV
2008
15 years 6 months ago
2008
Video fingerprints are feature vectors that uniquely characterize one video clip from another. The goal of video fingerprinting is to identify a given video query in a database (DB...
193
click to vote
TCSV
2008
15 years 6 months ago
2008
In this paper, we propose a fast and optimal solution for block motion estimation based on an adaptive multilevel successive elimination algorithm. This algorithm is accomplished b...
151
click to vote
JACM
2007
15 years 6 months ago
2007
This article provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effe...
123
click to vote
JAT
2007
15 years 6 months ago
2007
Let A ⊂ L2(R) be at most countable, and p, q ∈ N. We characterize various frame-properties for Gabor systems of the form G(1, p/q,A) = {e2 imxg(x − np/q) : m, n ∈ Z, g ∈...