42507 search results - page 241 / 8502 » On the analysis of |
194
click to vote
SCP
2010
15 years 1 months ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
155
click to vote
ICASSP
2011
IEEE
2011
IEEE
Performance analysis of MDL criterion for the detection of noncircular or/and nonGaussian components
14 years 10 months ago
This paper presents an asymptotic analysis of the eigen value decomposition (EVD) of the sample covariance matrix associated with independent identically distributed (IID) non nec...
194
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
