4743 search results - page 366 / 949 » Introduction to Functional Programming |
149
click to vote
IJCAI
2007
15 years 8 months ago
2007
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
183
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Nested Monte-Carlo search is a general algorithm that gives good results in single player games. Genetic Programming evaluates and combines trees to discover expressions that maxim...
170
click to vote
LOBJET
2008
15 years 6 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
170
click to vote
MP
2006
15 years 6 months ago
2006
The vast size of real world stochastic programming instances requires sampling to make them practically solvable. In this paper we extend the understanding of how sampling affects ...
280
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...