3972 search results - page 201 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
164
Voted
MOVEP
2000
15 years 7 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
155
Voted
IDA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Accurately evaluating statistical independence among random variables is a key component of Independent Component Analysis (ICA). In this paper, we employ a squared-loss ...
130
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
168
Voted
BMVC
2010
15 years 2 months ago
2010
This paper explores a recently proposed and rarely reported subspace learning method, Spectral Regression Discriminant Analysis (SRDA) [1, 2], on silhouette based human action rec...
121
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...