4757 search results - page 130 / 952 » Monads for Functional Programming |
147
click to vote
MICAI
2007
Springer
16 years 14 days ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
155
click to vote
ESANN
2006
15 years 7 months ago
2006
We focus on neuro-dynamic programming methods to learn state-action value functions and outline some of the inherent problems to be faced, when performing reinforcement learning in...
149
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
178
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...
217
click to vote
WCFLP
2005
ACM
15 years 12 months ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...