Most modern database applications contain a significant amount of time dependent data and a substantial proportion of this data is now-relative, i.e. current now. While much resea...
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
We propose a novel method for fully automated segmentation and tracking of the myocardium and left and right ventricles (LV and RV) using 4D MR images. The method uses non-rigid re...
Daniel Rueckert, Gerardo I. Sanchez-Ortiz, Maria L...
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...
This paper presents a novel set of geometric moments with symmetric kernel (SGM) obtained using an appropriate transformation of image coordinates. By using this image transformat...