4959 search results - page 306 / 992 » Imperative Functional Programming |
192
click to vote
ICLP
2007
Springer
16 years 27 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
183
click to vote
EUROGP
2004
Springer
16 years 4 days ago
2004
Springer
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
193
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
217
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
154
click to vote
ESANN
2006
15 years 8 months ago
2006
Abstract. We present experimental results about learning function values (i.e. Bellman values) in stochastic dynamic programming (SDP). All results come from openDP (opendp.sourcef...