Abstract. An automated method for segmenting the outer boundary of abdominal aortic aneurysms in MR images is presented. The method is based on the well known Active Shape Models (...
Marleen de Bruijne, Bram van Ginneken, Lambertus W...
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
Background: Missing values frequently pose problems in gene expression microarray experiments as they can hinder downstream analysis of the datasets. While several missing value i...
Johannes Tuikkala, Laura Elo, Olli Nevalainen, Ter...
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...