3025 search results - page 168 / 605 » Automatic Programming of Robots Using Genetic Programming |
144
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
137
click to vote
FOSSACS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
105
click to vote
CPAIOR
2005
Springer
15 years 8 months ago
2005
Springer
Creating good integer programming formulations had, as a basic axiom, the rule “Find formulations with tighter linear relaxations”. This rule, while useful when using unsophist...
133
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...
130
click to vote
ICTAI
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a problem-independent framework that uni es various mechanisms for solving discrete constrained nonlinear programming (NLP) problems whose functions are not ne...