Sciweavers

188 search results - page 15 / 38
» Solving Rational Eigenvalue Problems via Linearization
Sort
View
CVPR
2007
IEEE
14 years 12 months ago
Learning Object Material Categories via Pairwise Discriminant Analysis
In this paper, we investigate linear discriminant analysis (LDA) methods for multiclass classification problems in hyperspectral imaging. We note that LDA does not consider pairwi...
Zhouyu Fu, Antonio Robles-Kelly
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 4 months ago
On visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
LPAR
2010
Springer
13 years 7 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...
AUTOMATICA
2006
142views more  AUTOMATICA 2006»
13 years 10 months ago
Stability regions in the parameter space: D-decomposition revisited
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
Elena N. Gryazina, Boris T. Polyak
ICALP
2004
Springer
14 years 3 months ago
A Domain Theoretic Account of Picard's Theorem
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
Abbas Edalat, Dirk Pattinson