Minimally invasive trans-catheter aortic valve implantation (TAVI) procedure can be greatly facilitated using smart visualization and guidance technology involving the 3-D model o...
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
Learning visual models of object categories notoriously requires thousands of training examples; this is due to the diversity and richness of object appearance which requires mode...
We present an algorithm for clustering sets of detected
interest points into groups that correspond to visually dis-
tinct structure. Through the use of a suitable colour and tex...
This paper describes salienShrink, a method to denoise images based on computing a map of salient coefficients in the wavelet domain and use it to improve common denoising algorit...
Konstantinos Rapantzikos, Yannis S. Avrithis, Stef...