We demonstrate that it is possible to filter an image with an elliptic window of varying size, elongation and orientation with a fixed computational cost per pixel. Our method inv...
Abstract. In this paper, we explore the use of over-complete spherical wavelets in shape analysis of closed 2D surfaces. Previous work has demonstrated, theoretically and practical...
B. T. Thomas Yeo, Peng Yu, P. Ellen Grant, Bruc...
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...