2335 search results - page 198 / 467 » Functional Differentiation of Computer Programs |
103
Voted
ACG
2009
Springer
15 years 4 months ago
2009
Springer
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
117
click to vote
SIAMJO
2000
15 years 6 days ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
101
Voted
PVM
2007
Springer
15 years 6 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
INFOSCALE
2006
ACM
15 years 6 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
106
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
A developmental model of neural network is presented and evaluated in the game of Checkers. The network is developed using cartesian genetic programs (CGP) as genotypes. Two agent...