4895 search results - page 174 / 979 » Functional Quantum Programming |
138
click to vote
ALT
1994
Springer
15 years 6 months ago
1994
Springer
Most studies modeling inaccurate data in Gold style learning consider cases in which the number of inaccuracies is finite. The present paper argues that this approach is not reaso...
116
click to vote
APL
1995
ACM
15 years 6 months ago
1995
ACM
Iverson has greatly enlarged the mathematical notion of function composition and made it available to computer programmers. This paper explains the concept, and uses practical exa...
116
Voted
ICML
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents an approach to automatic discovery of functions in Genetic Programming. The approach is based on discovery of useful building blocks by analyzing the evolution...
126
Voted
IJCAI
2001
15 years 3 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
133
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...