6693 search results - page 760 / 1339 » Methods of Automatic Algorithm Generation |
173
click to vote
ET
2007
15 years 6 months ago
2007
This article describes an emulation-based method for locating stuck-at faults in combinational and synchronous sequential circuits. The method is based on automatically designing a...
193
click to vote
PAMI
2008
15 years 6 months ago
2008
This paper proposes a method for detecting object classes that exhibit variable shape structure in heavily cluttered images. The term "variable shape structure" is used t...
179
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
218
Voted
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
162
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...