Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
—A new parameter-free graph-morphology-based segmentation algorithm is proposed to address the problem of partitioning a 3D triangular mesh into disjoint submeshes that correspon...
The eigenvalues of the Dirichlet Laplacian are used to generate three different sets of features for shape recognition and classification in binary images. The generated feature...
Mohamed A. Khabou, Lotfi Hermi, Mohamed Ben Hadj R...
This paper describes an approach of representing 3D shape by using a set of invariant Spherical Harmonic (SH) coefficients after conformal mapping. Specifically, a genus-zero 3D ...