3136 search results - page 246 / 628 » Genetic programming theory |
140
click to vote
JACIII
2007
15 years 5 months ago
2007
Abstract— A common framework for formalization of statetransition computation models is presented based on a general theory for studying the interrelationships between specifica...
138
click to vote
ITNG
2006
IEEE
15 years 11 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
148
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
170
click to vote
SLP
1994
15 years 7 months ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
136
click to vote
MP
2002
15 years 5 months ago
2002
In this paper we consider stochastic programming problems where the objective function is given as an expected value of a convex piecewise linear random function. With an optimal s...