4620 search results - page 1 / 924 » Comparing Object Encodings |
TACS
1997
Springer
13 years 9 months ago
1997
Springer
CEC
2008
IEEE
13 years 12 months ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
OOPSLA
2000
Springer
13 years 9 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
CVPR
2010
IEEE
14 years 1 months ago
2010
IEEE
We present a feature matching algorithm that leverages bottom-up segmentation. Unlike conventional image-toimage or region-to-region matching algorithms, our method finds corresp...
SARA
2009
Springer
14 years 11 hour ago
2009
Springer
We study novel approaches for solving of hard combinatorial problems by translation to Boolean Satisfiability (SAT). Our focus is on combinatorial problems that can be represented...