160 search results - page 4 / 32 » A Computability Perspective on Self-Modifying Programs |
EUROGP
2009
Springer
15 years 4 months ago
2009
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in GP from the perspec...
MP
2010
14 years 8 months ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
100
click to vote
DAGSTUHL
2001
14 years 11 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
61
Voted
LREC
2008
14 years 11 months ago
2008
Polarizing discussions about political and social issues are common in mass media. Annotations on the degree to which a sentence expresses an ideological perspective can be valuab...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...