Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
Automatic segmentation of multiple sclerosis lesions in magnetic resonance images remains a challenging task. In this study, we present a fully automatic method to extract lesions...
Recommendation systems have become very popular but most recommendation methods are `hard-wired' into the system making experimentation with and implementation of new recomme...
Georgia Koutrika, Benjamin Bercovitz, Hector Garci...
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...