161 search results - page 9 / 33 » fuin 2006 |
103
Voted
FUIN
2007
15 years 5 days ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
112
click to vote
FUIN
2007
15 years 5 days ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
101
click to vote
FUIN
1998
14 years 12 months ago
1998
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...
FUIN
1998
14 years 12 months ago
1998
The theory of evolutionary computation has been enhanced rapidly during the last decade. This survey is the attempt to summarize the results regarding the limit and nite time behav...
90
Voted
FUIN
2010
14 years 10 months ago
2010
In this paper we will provide a detailed proof of the solvability of the halting and reachability problem for binary 2-tag systems. We will furthermore prove that an important sub...