959 search results - page 63 / 192 » New Techniques for Algorithm Portfolio Design |
DAC
2006
ACM
16 years 24 days ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
ISSAC
2007
Springer
15 years 6 months ago
2007
Springer
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
CP
2004
Springer
15 years 3 months ago
2004
Springer
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new algorithm for multi-view reconstruction that demonstrates both accuracy and efficiency. Our method is based on robust binocular stereo matching, followed...
HPCA
2009
IEEE
16 years 11 days ago
2009
IEEE
Several recent processor designs have proposed to enhance performance by increasing the clock frequency to the point where timing faults occur, and by adding error-correcting supp...