Sciweavers

4277 search results - page 372 / 856
» On Multiple Linear Approximations
Sort
View
IJAR
2010
106views more  IJAR 2010»
14 years 10 months ago
A minimum distance estimator in an imprecise probability model - Computational aspects and applications
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
Robert Hable
LPAR
2010
Springer
14 years 9 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...
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
14 years 6 months ago
A resistance-based approach to consensus algorithm performance analysis
Abstract-We study the well known linear consensus algorithm by means of a LQ-type performance cost. We want to understand how the communication topology influences this algorithm. ...
Federica Garin, Enrico Lovisari, Sandro Zampieri
IPMI
2011
Springer
14 years 3 months ago
Nonnegative Factorization of Diffusion Tensor Images and Its Applications
This paper proposes a novel method for computing linear basis images from tensor-valued image data. As a generalization of the nonnegative matrix factorization, the proposed method...
Yuchen Xie, Jeffrey Ho, Baba C. Vemuri
CVPR
2012
IEEE
13 years 2 months ago
Multitarget data association with higher-order motion models
We present an iterative approximate solution to the multidimensional assignment problem under general cost functions. The method maintains a feasible solution at every step, and i...
Robert T. Collins