8828 search results - page 1447 / 1766 » Formal methods in practice |
169
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Support vector machines (SVMs) have become one of the most promising techniques for relevance feedback in content-based image retrieval (CBIR). Typical SVM-based relevance feedbac...
166
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
Medial axis transform (MAT) is a basic tool for shape analysis. But, in spite of its usefulness, it has some drawbacks, one of which is its instability under the boundary perturba...
160
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A key problem that arises in System-on-a-Chip (SOC) designs of today is the Chip-level Clock Tree Synthesis (CCTS). CCTS is done by merging all the clock trees belonging to differ...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We present practical algorithms for the synthesis of crosstalk cancelling equalizing filters. We examine designs optimized for the traditional l2 metric and introduce an approach ...
175
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...