1310 search results - page 41 / 262 » Parameterized Partial Evaluation |
CGO
2003
IEEE
15 years 1 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
MOC
2000
14 years 9 months ago
2000
This article considers the problem of evaluating all pure and mixed partial derivatives of some vector function defined by an evaluation procedure. The natural approach to evaluati...
NORDICHI
2004
ACM
15 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...
JACM
2007
14 years 9 months ago
2007
This article provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effe...
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Image segmentation is a fundamental step in many computer vision applications. Generally, the choice of a segmentation algorithm, or parameterization of a given algorithm, is sele...