3333 search results - page 563 / 667 » Optimal Power-Down Strategies |
189
click to vote
MEMOCODE
2006
IEEE
16 years 26 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
183
click to vote
ASPDAC
2006
ACM
16 years 25 days ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...
171
click to vote
SIGIR
2006
ACM
16 years 24 days ago
2006
ACM
Content-targeted advertising, the task of automatically associating ads to a Web page, constitutes a key Web monetization strategy nowadays. Further, it introduces new challenging...
190
click to vote
SIGIR
2006
ACM
16 years 24 days ago
2006
ACM
The performance of document clustering systems depends on employing optimal text representations, which are not only difficult to determine beforehand, but also may vary from one ...
193
click to vote
CVPR
2010
IEEE
16 years 15 days ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...