1738 search results - page 170 / 348 » Local Consistency and SAT-Solvers |
126
click to vote
ICASSP
2009
IEEE
16 years 17 days ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
175
click to vote
ISMAR
2009
IEEE
16 years 14 days ago
2009
IEEE
In many cases, visual tracking is based on detecting, describing, and then matching local features. A variety of algorithms for these steps have been proposed and used in tracking...
162
click to vote
LFCS
2009
Springer
16 years 11 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
185
click to vote
SCALESPACE
2009
Springer
16 years 11 days ago
2009
Springer
The proposed method is related to parametric and geodesic active contours as well as minimal paths, in the context of image segmentation 1 . Our geodesically linked active contour ...
172
click to vote
SCALESPACE
2009
Springer
16 years 11 days ago
2009
Springer
We study the mathematical and numerical aspects of the estimation of the 3-D shape of a Lambertian scene seen under diffuse illumination. This problem is known as “shape from amb...