2487 search results - page 64 / 498 » cases 2009 |
78
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper places into perspective the so-called algebraic time-derivative estimation method recently introduced by Fliess and co-authors with standard results from linear stat...
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— The analysis of the EKF error sequence in [1] is expanded to the case with non-vanishing perturbations. The robust stability of NMPC and EKF pair is established. In addition, w...
115
Voted
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
123
Voted
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
128
Voted
ESSLLI
2009
Springer
14 years 10 months ago
2009
Springer
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...