1087 search results - page 17 / 218 » Eta-Redexes in Partial Evaluation |
PEPM
1999
ACM
14 years 1 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
We present a robust elastic and partial matching metric
for face recognition. To handle challenges such as pose, facial
expression and partial occlusion, we enable both elastic
...
PAKDD
2005
ACM
14 years 3 months ago
2005
ACM
Because exploratory rule discovery works with data that is only a sample of the phenomena to be investigated, some resulting rules may appear interesting only by chance. Techniques...
CC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...