624 search results - page 92 / 125 » Test set compaction algorithms for combinational circuits |
143
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
140
click to vote
3DIM
2007
IEEE
15 years 8 months ago
2007
IEEE
An algorithm is presented to estimate the position of a hand-held camera with respect to a 3d world model constructed from range data and color imagery. Little prior knowledge is ...
171
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
159
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
154
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...