2119 search results - page 255 / 424 » Structure-Preserving Model Reduction |
123
click to vote
ENTCS
2007
15 years 2 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
142
Voted
KBS
2008
15 years 1 months ago
2008
Feature subset selection presents a common challenge for the applications where data with tens or hundreds of features are available. Existing feature selection algorithms are mai...
114
click to vote
PKDD
2010
Springer
15 years 23 days ago
2010
Springer
We consider the problem of numerical stability and model density growth when training a sparse linear model from massive data. We focus on scalable algorithms that optimize certain...
127
click to vote
ICDM
2009
IEEE
15 years 18 days ago
2009
IEEE
We present an approach for learning models that obtain accurate classification of large scale data objects, collected in spatiotemporal domains. The model generation is structured ...
140
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
It has been previously demonstrated that systems based on block wise local features and Gaussian mixture models (GMM) are suitable for video based talking face verification due t...