Designing algorithms that use logarithmic space for graph reachability problems is fundamental to complexity theory. It is well known that for general directed graphs this problem...
This paper proposes a novel method for the projective reconstruction of planes and cameras from multiple images by factorizing a matrix containing all planar homographies between ...
Resolution improvement from several images is typically restricted to simple planar rotations and translations. In this paper, a super-resolution algorithm that allows 3D ego-moti...
Siu-Hang Or, Ying Kin Yu, Kin-hong Wong, Michael M...
This paper presents geometric invariants of points and their applications under central catadioptric camera model. Although the image has severe distortions under the model, we es...
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....