1569 search results - page 17 / 314 » Automated Design Improvement by Example |
EC
2008
13 years 7 months ago
2008
This work describes how evolutionary computation can be used to synthesize lowlevel image operators that detect interesting points on digital images. Interest point detection is a...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents an approach to reduce interconnect cost by insertion of identity operations in a CDFG. Other than previous approaches, it is based on systematic pattern analys...
CAV
1994
Springer
13 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...