3342 search results - page 86 / 669 » Symbolic Robustness Analysis |
182
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
169
click to vote
UAI
1997
15 years 7 months ago
1997
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
157
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Biological tissues consist of various cell types that differentially contribute to physiological and pathophysiological processes. Determining and analyzing cell type-...
195
click to vote
TWC
2010
15 years 1 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
172
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Principal component analysis (PCA) minimizes the sum of squared errors (L2-norm) and is sensitive to the presence of outliers. We propose a rotational invariant L1-norm PCA (R1-PC...