Sciweavers

ACSD
2003
IEEE
103views Hardware» more  ACSD 2003»
14 years 5 months ago
Design Validation of ZCSP with SPIN
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
Vincent Beaudenon, Emmanuelle Encrenaz, Jean Lou D...
ACIVS
2007
Springer
14 years 6 months ago
Segmentation of the Human Trachea Using Deformable Statistical Models of Tubular Shapes
Abstract. In this work, we present two active shape models for the segmentation of tubular objects. The first model is built using cylindrical parameterization and minimum descrip...
Romulo Pinho, Jan Sijbers, Toon Huysmans