6693 search results - page 957 / 1339 » On an anytime algorithm for control |
163
click to vote
VIS
2008
IEEE
16 years 5 months ago
2008
IEEE
Abstract-- Methods that faithfully and robustly capture the geometry of complex material interfaces in labeled volume data are important for generating realistic and accurate visua...
119
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
It is very important for the performance evaluation of iris recognition algorithms to construct very large iris databases. However, limited by the real conditions, there are no ve...
115
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
In recent literature it has been reported that Dynamic Power Management (DPM) may lead to decreased reliability in real-time embedded systems. The ever-shrinking device sizes cont...
121
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
120
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...