Sciweavers

9051 search results - page 17 / 1811
» On detectability of stochastic systems
Sort
View
AAAI
2004
15 years 1 months ago
Planning and Verification for Stochastic Processes with Asynchronous Events
We consider a general model of stochastic discrete event systems with asynchronous events, and propose to develop efficient algorithms for verification and control of such systems...
Håkan L. S. Younes
FORTE
2004
15 years 1 months ago
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thoma...
CVPR
1998
IEEE
16 years 1 months ago
Action Recognition Using Probabilistic Parsing
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
Aaron F. Bobick, Yuri A. Ivanov
MASCOTS
1996
15 years 1 months ago
Well-Defined Stochastic Petri Nets
Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection...
Gianfranco Ciardo, Robert Zijal
MOBIHOC
2010
ACM
14 years 9 months ago
The intrusion detection in mobile sensor network
Intrusion detection is an important problem in sensor networks. Prior works in static sensor environments show that constructing sensor barriers with random sensor deployment can ...
Gabriel Yik Keung, Bo Li, Qian Zhang