Sciweavers

220 search results - page 20 / 44
» Copositivity tests based on the linear complementarity probl...
Sort
View
MIA
2010
170views more  MIA 2010»
14 years 7 months ago
Linear intensity-based image registration by Markov random fields and discrete optimization
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 ...
Darko Zikic, Ben Glocker, Oliver Kutter, Martin Gr...
84
Voted
DAGM
1997
Springer
15 years 4 months ago
A Tensor Approach for Precise Computation of Dense Displacement Vector Fields
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
Horst Haußecker, Bernd Jähne
TIT
2010
174views Education» more  TIT 2010»
14 years 7 months ago
Toeplitz Compressed Sensing Matrices With Applications to Sparse Channel Estimation
Compressed sensing (CS) has recently emerged as a powerful signal acquisition paradigm. In essence, CS enables the recovery of high-dimensional sparse signals from relatively few ...
Jarvis Haupt, Waheed Uz Zaman Bajwa, Gil M. Raz, R...
LPAR
2010
Springer
14 years 10 months ago
Interpolating Quantifier-Free Presburger Arithmetic
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
Daniel Kroening, Jérôme Leroux, Phili...
102
Voted
AUSAI
2009
Springer
15 years 4 months ago
Ensemble Approach for the Classification of Imbalanced Data
Ensembles are often capable of greater prediction accuracy than any of their individual members. As a consequence of the diversity between individual base-learners, an ensemble wil...
Vladimir Nikulin, Geoffrey J. McLachlan, Shu-Kay N...