Sciweavers

4962 search results - page 112 / 993
» Stochastic Model Checking
Sort
View
SIMULATION
2010
96views more  SIMULATION 2010»
14 years 9 months ago
A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer
TCSV
2010
14 years 9 months ago
Video Event Modeling and Recognition in Generalized Stochastic Petri Nets
Gal Lavee, Michael Rudzsky, Ehud Rivlin, Artyom Bo...