Sciweavers

2119 search results - page 27 / 424
» Structure-Preserving Model Reduction
Sort
View
ICML
2005
IEEE
15 years 10 months ago
Supervised dimensionality reduction using mixture models
Given a classification problem, our goal is to find a low-dimensional linear transformation of the feature vectors which retains information needed to predict the class labels. We...
Sajama, Alon Orlitsky
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
15 years 1 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
BIOID
2008
157views Biometrics» more  BIOID 2008»
14 years 11 months ago
Modeling Marginal Distributions of Gabor Coefficients: Application to Biometric Template Reduction
Abstract. Gabor filters have demonstrated their effectiveness in automatic face recognition. However, one drawback of Gabor-based face representations is the huge amount of data th...
Daniel González-Jiménez, José...
DAC
2005
ACM
15 years 10 months ago
Segregation by primary phase factors: a full-wave algorithm for model order reduction
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...
Thomas J. Klemas, Luca Daniel, Jacob K. White
CONCUR
1999
Springer
15 years 2 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea