894 search results - page 78 / 179 » Optimizations for LTL Synthesis |
102
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
In this paper a novel genetically-inspired learning method is proposed for face expression recognition (FER) in visible images. Unlike current research for FER that generally uses ...
96
Voted
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
53
Voted
GECCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As a preprocessing for genetic algorithms, static reordering helps genetic algorithms effectively create and preserve high-quality schemata, and consequently improves th...
109
click to vote
DSD
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
136
Voted
ISLPED
1999
ACM
15 years 5 months ago
1999
ACM
The use of dual threshold voltages can significantly reduce the static power dissipated in CMOS VLSI circuits. With the supply voltage at 1V and threshold voltage as low as 0.2V ...