Sciweavers

6329 search results - page 16 / 1266
» Detection of Stochastic Processes
Sort
View
CDC
2009
IEEE
123views Control Systems» more  CDC 2009»
13 years 12 months ago
Dealing with stochastic reachability
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
Manuela L. Bujorianu
ICIP
2003
IEEE
14 years 1 months ago
A SR-based radon transform to extract weak lines from noise images
The Radon transform is able to transform two dimensional images with lines into a space of line parameters, where each line in the image will give a peak positioned at the corresp...
Qinghua Ye, Haining Huang, Xinyi He, Chimhua Zhang
EPEW
2006
Springer
14 years 7 days ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
LICS
2006
IEEE
14 years 2 months ago
Coinductive Proof Principles for Stochastic Processes
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
Dexter Kozen
CN
2007
168views more  CN 2007»
13 years 8 months ago
Network anomaly detection with incomplete audit data
With the ever increasing deployment and usage of gigabit networks, traditional network anomaly detection based Intrusion Detection Systems (IDS) have not scaled accordingly. Most,...
Animesh Patcha, Jung-Min Park