11151 search results - page 2024 / 2231 » On the Complexity of Model Expansion |
254
click to vote
CPAIOR
2010
Springer
15 years 4 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
162
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
208
click to vote
ERSA
2010
15 years 4 months ago
2010
Interconnect architecture is a primary research issue for emerging many-core processors. Packet switched Networks-on-Chip (NoCs) are considered key to success but since they delive...
197
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Non-rigid image registration plays an important role in medical image analysis. Recently, Tang and Chung proposed to model the non-rigid medical image registration problem as an e...
190
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...