242 search results - page 16 / 49 » A SAT-Based Algorithm for Context Matching |
IPMI
2009
Springer
14 years 8 months ago
2009
Springer
A general-purpose deformable registration algorithm referred
to as ”DRAMMS” is presented in this paper. DRAMMS adds to the
literature of registration methods that bridge betw...
ISCA
1998
IEEE
13 years 11 months ago
1998
IEEE
Data compression and prediction are closely related. Thus prediction methods based on data compression algorithms have been suggested for the branch prediction problem. In this wo...
ICDCS
2002
IEEE
14 years 13 days ago
2002
IEEE
We consider efficient communication schemes based on both network-supported and application-level multicast techniques for content-based publication-subscription systems. We show...
PRICAI
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
A number of problems frequently encountered in brain image analysis can be conveniently solved within a registration framework, such as alignment of mono- or multi-sequence Magnet...