2762 search results - page 401 / 553 » A Quality Model for Evaluating Feature Models |
188
click to vote
MIA
2010
15 years 1 months ago
2010
We propose a framework for intensity-based registration of images by linear transformations, based on a discrete Markov Random Field (MRF) formulation. Here, the challenge arises ...
173
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we demonstrate the effectiveness of reference (or atlas)-based non-rigid registration to the segmentation of medical and biological imagery. In particular we introdu...
127
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
The objective measurement of blocking artifacts plays an important role in the design, optimization, and assessment of image and video coding systems. We propose a new approach th...
190
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
178
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...