2335 search results - page 144 / 467 » Functional Differentiation of Computer Programs |
118
click to vote
CORR
2004
Springer
15 years 10 days ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
APLAS
2010
ACM
15 years 22 days ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
121
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Motivated by the ability of living cells to form specific shapes and structures, we present a computational approach using distributed genetic programming to discover cell-cell i...
107
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...
85
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes the evolution of the Portals message passing architecture and programming interface from its initial development on tightly-coupled massively parallel platfor...