We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
In surgical knee replacement, the damaged knee joint is replaced with artificial prostheses. An accurate clinical evaluation must be carried out before applying knee prostheses to...
Sebastiano Battiato, Camillo Bosco, Giovanni Maria...
In this paper, a new segmentation approach for sets of 3D unorganized points is proposed. The method is based on a clustering procedure that separates the modes of a non-parametri...
Umberto Castellani, Marco Cristani, Vittorio Murin...
Cataract is a clouding of the eye's natural lens, normally due to natural aging changes, and involving at least half of the population over 65 years. Cataract extraction is t...
Marco Agus, Enrico Gobbetti, Giovanni Pintore, Gia...
This paper reports a multidisciplinary research between computer science and plastic and reconstructive surgery. In particular, a new method is proposed to unambiguously define a ...
Giovanni Maria Farinella, Gaetano Impoco, Giovanni...