4757 search results - page 130 / 952 » Monads for Functional Programming |
111
click to vote
MICAI
2007
Springer
15 years 8 months 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...
109
Voted
ESANN
2006
15 years 4 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...
102
click to vote
FSTTCS
2008
Springer
15 years 3 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...
137
Voted
GECCO
2009
Springer
15 years 9 months 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...
169
Voted
WCFLP
2005
ACM
15 years 8 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...