936 search results - page 29 / 188 » The Synthesis Problem of Netcharts |
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
We combine interactive evolutionary computation (IEC) with existing evolutionary synthesis software for the design of micromachined resonators and evaluate its effectiveness using...
WSCG
2004
13 years 9 months ago
2004
In this paper we describe a new method for improving the representation of textures in blends of multiple images based on a Markov Random Field (MRF) algorithm. We show that direc...
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
ABSTRACT. Church's Problem asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence I an output sequen...
VLSID
1994
IEEE
13 years 11 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
EMSOFT
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...