Sciweavers

4962 search results - page 10 / 993
» Stochastic Model Checking
Sort
View
94
Voted
CIE
2009
Springer
15 years 4 months ago
Stochastic Programs and Hybrid Automata for (Biological) Modeling
We present a technique to associate to stochastic programs written in stochastic Concurrent Constraint Programming a semantics in terms of a lattice of hybrid automata. The aim of ...
Luca Bortolussi, Alberto Policriti
ENTCS
2008
120views more  ENTCS 2008»
14 years 9 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
IWQOS
2005
Springer
15 years 3 months ago
Analysis of Stochastic Service Guarantees in Communication Networks: A Server Model
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...
Yuming Jiang, Peder J. Emstad
ICIP
2003
IEEE
15 years 2 months ago
Parameter estimation for spatial random trees using the EM algorithm
A new class of multiscale multidimensional stochastic processes called spatial random trees was recently introduced in [9]. The model is based on multiscale stochastic trees with ...
Ilya Pollak, Jeffrey Mark Siskind, Mary P. Harper,...
80
Voted
CVPR
2003
IEEE
15 years 11 months ago
Expectation Grammars: Leveraging High-Level Expectations for Activity Recognition
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
David Minnen, Irfan A. Essa, Thad Starner