3136 search results - page 262 / 628 » Genetic programming theory |
132
click to vote
GECCO
2009
Springer
16 years 12 days ago
2009
Springer
Recently, it has been proven that evolutionary algorithms produce good results for a wide range of combinatorial optimization problems. Some of the considered problems are tackled...
138
click to vote
ICTAC
2009
Springer
16 years 12 days ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
165
click to vote
IJCNN
2008
IEEE
16 years 8 days ago
2008
IEEE
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
161
click to vote
DALT
2005
Springer
15 years 11 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
163
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...