7103 search results - page 470 / 1421 » Program Generation and Components |
160
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Resource-Limited Genetic Programming is a bloat control technique that imposes a single limit on the total amount of resources available to the entire population, where resources ...
145
Voted
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
143
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
155
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
148
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...