4042 search results - page 394 / 809 » The EXODUS Optimizer Generator |
188
click to vote
EUROGP
2007
Springer
16 years 29 days ago
2007
Springer
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
159
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
171
click to vote
ICLP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
174
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
154
click to vote
DIAL
2006
IEEE
16 years 25 days ago
2006
IEEE
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...