513 search results - page 11 / 103 » Shape Types |
FOSSACS
2010
Springer
14 years 1 days ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
ECOOP
2006
Springer
14 years 11 days ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Pyroelectric sensors can detect changes of infrared rays. Usually, typical pyroelectric sensors are the digital output type, used for lighting switches and security syste...
CVPR
2006
IEEE
14 years 10 months ago
2006
IEEE
Segmentation involves separating an object from the background. In this work, we propose a novel segmentation method combining image information with prior shape knowledge, within...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper describes the construction of a statistical shape model based on the iterative closest point algorithm. The method does not require manual nor automatic identification ...