4502 search results - page 273 / 901 » Regular Model Checking |
150
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Based on scaling laws describing the statistical structure
of turbulent motion across scales, we propose a multiscale
and non-parametric regularizer for optic-flow estimation.
R...
207
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Optical flow estimation is a fundamental and ill-posed problem in computer vision. To recover a dense flow field, appropriate spatial constraints have to be enforced. Recent ad...
184
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Using the Lempel-Ziv-78 compression algorithm to compress a string yields a dictionary of substrings, i.e. an edge-labelled tree with an order-compatible enumeration, here called a...
153
click to vote
TIT
2002
15 years 6 months ago
2002
We consider Gallager's soft decoding (belief propagation) algorithm for decoding low density parity check (LDPC) codes, when applied to an arbitrary binary-input symmetric-ou...
179
click to vote
ISITA
2010
15 years 1 months ago
2010
We consider the Binary Erasure Source (BES) introduced by Martinian and Yedidia. Based on the technique introduced by Martinian and Wainwright, we upper bound the rate-distortion p...