3 search results - page 1 / 1 » Sequential anomaly detection based on temporal-difference le... |
ASC
2010
13 years 2 months ago
2010
SPIN
2012
Springer
11 years 7 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
TCSV
2008
13 years 4 months ago
2008
In this paper, a new theoretical framework based on hidden Markov model (HMM) and independent component analysis (ICA) mixture model is presented for content analysis of video, nam...