2049 search results - page 8 / 410 » Normalization and Partial Evaluation |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
LOPSTR
1992
Springer
13 years 11 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
UIST
2003
ACM
14 years 22 days ago
2003
ACM
Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program’s normal execution flow, encouraging the user to complete the dial...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
The structural similarity (SSIM) index has been shown to be a good perceptual image quality predictor. In many real-world applications such as network visual communications, howev...