148 search results - page 20 / 30 » ccs 2006 |
JLP
2006
13 years 9 months ago
2006
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...
EGITALY
2006
13 years 11 months ago
2006
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...
EGITALY
2006
13 years 11 months ago
2006
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...
EGITALY
2006
13 years 11 months ago
2006
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...
EGITALY
2006
13 years 11 months ago
2006
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 ...