3456 search results - page 257 / 692 » Algorithms for Interface Synthesis |
168
click to vote
EVOW
2007
Springer
16 years 24 days ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
155
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...
180
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...
162
click to vote
APN
2005
Springer
16 years 5 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
181
click to vote
ASPDAC
2004
ACM
16 years 2 days ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...