4067 search results - page 137 / 814 » Programs for Applying Symmetries |
GECCO
2009
Springer
14 years 25 days ago
2009
Springer
A new model of Genetic Programming with variable size population is presented in this paper and applied to the reconstruction of target functions in dynamic environments (i.e. pro...
COMPSAC
1997
IEEE
14 years 13 days ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
CAV
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
EMNLP
2006
13 years 9 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
CCE
2010
13 years 5 months ago
2010
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...