We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
In this paper we demonstrate the effectiveness of reference (or atlas)-based non-rigid registration to the segmentation of medical and biological imagery. In particular we introdu...
Luca Bertelli, Pratim Ghosh, B. S. Manjunath, Fr&e...
Meshes are dominantly used to represent 3D models as they fit well with graphics rendering hardware. Features such as volume, moments, and Fourier transform coefficients need to b...
Eye detection is very important for automatic face recognition and gaze tracking. In this paper we propose an algorithm for eye detection under active infrared (IR) illumination. ...
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...