In this paper, we propose a fully automatic method for the coupled 3D localization and segmentation of lower abdomen structures. We apply it to the joint segmentation of the prosta...
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
Razvan Ioan Ionasec, Bogdan Georgescu, Eva Gassn...
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
In this paper, we present an efficient and robust algorithm for shape matching, registration, and detection. The task is to geometrically transform a source shape to fit a target ...
The number of objects that can be maintained in visual working memory without interference is limited. We present simulations of a model of visual working memory in ventral prefron...
Gwendid T. van der Voort van der Kleij, Marc de Ka...