8828 search results - page 1299 / 1766 » Formal methods in practice |
179
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
189
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...
220
click to vote
PRL
2000
15 years 6 months ago
2000
We demonstrate the advantages of using Bayesian multi layer perceptron (MLP) neural networks for image analysis. The Bayesian approach provides consistent way to do inference by c...
203
click to vote
IJIG
2002
15 years 6 months ago
2002
This paper proposes a new background subtraction method for detecting moving objects from a time-varied background. While background subtraction has traditionally worked well for ...
127
click to vote
SIAMAM
2002
15 years 6 months ago
2002
Many practically relevant polymers undergoing desorption change from the rubbery (saturated) to the glassy (nearly dry) state. The dynamics of such systems cannot be described by t...