4757 search results - page 402 / 952 » Monads for Functional Programming |
175
click to vote
FUIN
2008
15 years 5 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
202
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
The UCT algorithm learns a value function online using sample-based search. The TD() algorithm can learn a value function offline for the on-policy distribution. We consider three...
178
click to vote
NIPS
2001
15 years 8 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
161
click to vote
PDCAT
2007
Springer
16 years 27 days ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...
141
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...