4325 search results - page 33 / 865 » Incremental computation with names |
RTA
2005
Springer
15 years 4 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
94
Voted
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
NN
2002
Springer
14 years 10 months ago
2002
Springer
It has recently been suggested that the nervous system employs forward models for the purpose of motor control. The evidence for this hypothetical computational structure comes fr...
AC
2003
Springer
15 years 4 months ago
2003
Springer
Peer-to-peer systems are positioned to take advantage of gains in network bandwidth, storage capacity, and computational resources to provide long-term durable storage infrastruct...
EMNLP
2007
15 years 9 days ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name filtering. ETK has the low computational cost and ability to ...