1631 search results - page 159 / 327 » Observing Functional Logic Computations |
132
click to vote
ENTCS
2002
15 years 3 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
127
click to vote
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
108
Voted
AAI
1999
15 years 3 months ago
1999
There have been numerous attempts to provide a standardized definition of a computational agent, but little consensus has emerged. We propose a simple test for agenthood that can ...
157
click to vote
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
This paper proposes some Markov Random Field (MRF) models for restoration of stereo disparity maps. The main aspect is the use of confidence maps provided by the Symmetric Multipl...
140
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We1 present a new actor-critic learning model in which a Bayesian class of non-parametric critics, using Gaussian process temporal difference learning is used. Such critics model ...