9477 search results - page 334 / 1896 » Design is as Easy as Optimization |
191
click to vote
MTV
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
140
click to vote
DATE
2005
IEEE
2005
IEEE
Area-Efficient Selective Multi-Threshold CMOS Design Methodology for Standby Leakage Power Reduction
16 years 12 days ago
This paper presents a design flow for an improved selective multi-threshold(Selective-MT) circuit. The Selective-MT circuit is improved so that plural MT-cells can share one switc...
168
click to vote
AAAI
2007
15 years 9 months ago
2007
Online mechanism design considers the problem of sequential decision making in a multi-agent system with self-interested agents. The agent population is dynamic and each agent has...
147
click to vote
ENGL
2007
15 years 6 months ago
2007
Abstract—This paper presents a systematic approach for the design of temperature controller using genetic algorithms (GAs) for thermal power plant subsystems and investigates the...
162
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a new approach for the design of optimal steerable 2-D templates for feature detection. As opposed to classical schemes where the optimal 1-D template is derived and ex...