3333 search results - page 462 / 667 » Abstract Proof Search |
177
Voted
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
This work presents a novel approach to content-based image retrieval in categorical multimedia databases. The images are indexed using a combination of text and content descriptor...
185
Voted
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
172
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
274
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
158
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...