1090 search results - page 33 / 218 » Type-Directed Partial Evaluation |
NORDICHI
2004
ACM
14 years 1 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...
PVLDB
2010
13 years 6 months ago
2010
Large-scale event systems are becoming increasingly popular in a variety of domains. Event pattern evaluation plays a key role in monitoring applications in these domains. Existin...
IPMI
2001
Springer
14 years 8 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 27 days 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 1 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...