Sciweavers

6329 search results - page 111 / 1266
» Detection of Stochastic Processes
Sort
View
102
Voted
SPIN
2009
Springer
15 years 7 months ago
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thom...
132
Voted
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 27 days ago
The Power of Temporal Pattern Processing in Anomaly Intrusion Detection
Abstract— A clear deficiency in most of todays Anomaly Intrusion Detection Systems (AIDS) is their inability to distinguish between a new form of legitimate normal behavior and ...
Mohammad Al-Subaie, Mohammad Zulkernine
114
Voted
AVSS
2007
IEEE
15 years 7 months ago
Detection of temporarily static regions by processing video at different frame rates
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...
Fatih Porikli
TR
2010
140views Hardware» more  TR 2010»
14 years 7 months ago
Modeling Failure Modes for Residual Life Prediction Using Stochastic Filtering Theory
This paper reports on a theoretical Bayesian modeling development for residual life prediction in the context of condition-based maintenance. At each monitoring point during a comp...
Matthew J. Carr, Wenbin Wang
CVPR
2007
IEEE
16 years 2 months ago
Simultaneous Detection and Segmentation of Pedestrians using Top-down and Bottom-up Processing
We present a method for the simultaneous detection and segmentation of people from static images. The proposed technique requires no manual segmentation during training, and explo...
Vinay Sharma, James W. Davis