8828 search results - page 409 / 1766 » Formal methods in practice |
154
Voted
JDCTA
2010
15 years 1 months ago
2010
In order to supply a gap of current resonance vibration and STFT demodulation method applied to rolling bearing fault feature extraction of city rail vehicle, a fault diagnosis me...
341
click to vote
Publication
"The level set method is popular in the numerical implementation of curve evolution, but its high computational cost is a bottleneck for real-time applications. In this report...
191
Voted
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a new level set method for reconstructing interfaces from point aggregations. Although level-set-based methods are advantageous because they can handle complicated topo...
175
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present an efficient implementation of an approximate balanced truncation model reduction technique for general large-scale RLC systems, described by a statespace model where t...
173
Voted
IDA
2003
Springer
16 years 2 days ago
2003
Springer
This paper tackles the problem of model complexity in the context of additive models. Several methods have been proposed to estimate smoothing parameters, as well as to perform var...