1738 search results - page 170 / 348 » Local Consistency and SAT-Solvers |
ICASSP
2009
IEEE
14 years 5 months 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...
ISMAR
2009
IEEE
14 years 5 months 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...
LFCS
2009
Springer
14 years 5 months 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...
SCALESPACE
2009
Springer
14 years 5 months 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 ...
SCALESPACE
2009
Springer
14 years 5 months 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...