6978 search results - page 1221 / 1396 » On Proofs in System P |
ISBI
2002
IEEE
14 years 10 months ago
2002
IEEE
While we have previously reported on multiscale segmentation of single-figure anatomic objects from medical images by deformable m-rep models, here we report on a method of segmen...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
This work describes and compares two different methods for identifying growth patterns in preterm infants during the second year of development. One method is based on creating an...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Despite the growing interest in user experience (UX), it has been hard to gain a common agreement on the nature and scope of UX. In this paper, we report a survey that gathered th...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
We introduce a technique for exploring multi-layered images by scraping arbitrary areas to determine meaningful relationships. Our system, called Wetpaint, uses perceptual depth c...
CHES
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...