We present a high-level synthesis technique that takes as input two orthogonal descriptions: (a) a behavioral architectural contract between the implementation and the user, and (...
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
We derive a six parameter system to estimate and compensate the effects of camera motion - zoom, pan, tilt and swing. As compared to other existing methods, this model describes m...
Yap-Peng Tan, Sanjeev R. Kulkarni, Peter J. Ramadg...
The fundamental matrix is a central construct in the analysis of images captured from a pair of cameras and many feature-based methods have been proposed for its computation. In t...
We present a method to construct a mosaic from multiple color and fluorescein retinal images. A set of images taken from different views at different times is difficult to registe...