816 search results - page 31 / 164 » SAT-Based Image Computation with Application in Reachability... |
192
click to vote
VISAPP
2007
15 years 7 months ago
2007
Accurate noise models are important to perform reliable robust image analysis. Indeed, many vision problems can be seen as parameter estimation problems. In this paper, two noise m...
163
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
—Color models are often used for representing object appearance for foreground segmentation applications. The relationships between colors can be just as useful for object select...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
157
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
Using the concepts of two-dimensional Hilbert transform and analytic signal, we construct a new quaternion wavelet transform (QWT). The QWT forms a tight frame and can be efficien...
149
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...