1087 search results - page 12 / 218 » Eta-Redexes in Partial Evaluation |
NORDICHI
2004
ACM
14 years 3 months ago
2004
ACM
A novel calculator, ideal for interactive whiteboards and pen-based devices, is introduced and evaluated. The calculator provides a natural, dynamic method of entering conventiona...
IPMI
2001
Springer
14 years 10 months ago
2001
Springer
A mixture model clustering algorithm is presented for robust MRI brain image segmentation in the presence of partial volume averaging. The method uses additional classes to represe...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
Lookup services are used in many Internet applications to translate a key (e.g., a file name) into an associated set of entries (e.g., the location of file copies). The key look...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we explore the use of shapes of noses for
performing partial human biometrics. The basic idea is to
represent nasal surfaces using indexed collections of isocurves,...