In this paper, a novel approach to large-format image segmentation is presented, focused on usage in content-based multimedia applications. The proposed framework aims at facilita...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
A new method is presented for detecting planar rotational symmetry under affine projection. The method can deal with partial occlusion and is able to detect multiple rotationally ...
Diffusion-type algorithms have been integrated in recent years successfully into the toolbox of image processing. We introduce a new more flexible and powerful family of parabolic...
Abstract. The objective function of the genome rearrangement problems allows the integration of other genome-level problems so that they may be solved simultaneously. Three example...
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...