The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
To capture the full brightness range of natural scenes, cameras automatically adjust the exposure value which causes the brightness of scene points to change from frame to frame. ...
We deal with the problem of obtaining rigorous bounds to the position of 3-D points computed by stereo triangulation when both the camera matrix and the image points are affected ...
Alessandro Busti, Andrea Fusiello, Arrigo Benedett...
This paper presents a new pq-space based 2D/3D registration method for camera pose estimation in endoscope tracking. The proposed technique involves the extraction of surface norma...
Fani Deligianni, Adrian James Chung, Guang-Zhong Y...
This paper presents a new method for recovering the shape of hybrid surfaces that have both diffuse reflection and specular reflection using shape from shading (SFS). The image ...