8828 search results - page 350 / 1766 » Formal methods in practice |
156
click to vote
DATE
2003
IEEE
16 years 2 days ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
163
click to vote
ACIVS
2005
Springer
16 years 10 days ago
2005
Springer
This paper proposes a hybrid foreground object detection method suitable for the marine surveillance applications. Our approach combines an existing foreground object detection met...
170
click to vote
PSD
2004
Springer
16 years 3 days ago
2004
Springer
Minimum-distance controlled perturbation is a recent family of methods for the protection of statistical tabular data. These methods are both efficient and versatile, since can dea...
252
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
183
click to vote
IMAGING
2004
15 years 8 months ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...