1087 search results - page 47 / 218 » Eta-Redexes in Partial Evaluation |
142
click to vote
INFSOF
2006
15 years 6 months ago
2006
Partial rollback mechanism has been widely supported by many database management systems (DBMSs). It allows a transaction to be rolled back partially, that is, only back to a cert...
174
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
157
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
178
click to vote
CORR
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a new approach to partial parsing of context-free structures. The approach is based on Markov Models. Each layer of the resulting structure is represented by i...
123
click to vote
IGARSS
2009
15 years 3 months ago
2009
This paper evaluates a spectral unmixing method for estimating the partial abundance of spectrally similar minerals in complex mixtures. The method requires formulation of a linea...