2119 search results - page 230 / 424 » Structure-Preserving Model Reduction |
166
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
134
click to vote
JFP
2000
15 years 2 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
134
click to vote
PRL
2010
15 years 1 months ago
2010
: Single training image face recognition is one of main challenges to appearance-based pattern recognition techniques. Many classical dimensionality reduction methods such as LDA h...
121
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Dimensionality reduction via feature projection has been widely used in pattern recognition and machine learning. It is often beneficial to derive the projections not only based o...
133
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Linear Discriminant Analysis (LDA) is one of the wellknown methods for supervised dimensionality reduction. Over the years, many LDA-based algorithms have been developed to cope w...