In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, ...
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
In the image plane, a 3 Dimensional movement of planar rigid object can be represented satisfactory by an affine motion of his boundary (the exterior contour) which we assume to b...
—Imaging of objects under variable lighting directions is an important and frequent practice in computer vision, machine vision, and image-based rendering. Methods for such imagi...
Yoav Y. Schechner, Shree K. Nayar, Peter N. Belhum...
In a moving agent, the different apparent motion of objects located at various distances provides an important source of depth information. While motion parallax is evident for la...