1087 search results - page 11 / 218 » Eta-Redexes in Partial Evaluation |
HOTOS
1999
IEEE
14 years 1 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
We are investigating methods to reduce partial volume effect (PVE) in medical images acquired as a series of thick slices, in particular Magnetic Resonance Imaging (MRI) of the hu...
ICANN
2001
Springer
14 years 2 months ago
2001
Springer
Unlike traditional reinforcement learning (RL), market-based RL is in principle applicable to worlds described by partially observable Markov Decision Processes (POMDPs), where an ...
MOC
2000
13 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...