4962 search results - page 469 / 993 » Stochastic Model Checking |
147
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
110
click to vote
IJSYSC
2008
15 years 4 months ago
2008
A novel state-space model of a multi-node supply chain is presented, controlled via local proportional inventory-replenishment policies. The model is driven by a stochastic sequen...
127
click to vote
CVIU
2007
15 years 4 months ago
2007
We present a novel approach for visual tracking of structured behaviour as observed in human–computer interaction. An automatically acquired variable-length Markov model is used...
139
click to vote
PAMI
2007
15 years 3 months ago
2007
—We propose to model the statistics of natural images, thanks to the large class of stochastic processes called Infinitely Divisible Cascades (IDCs). IDCs were first introduced i...
252
click to vote
WAW
2010
Springer
15 years 2 months ago
2010
Springer
We introduce a new geometric, rank-based model for the link structure of on-line social networks (OSNs). In the geo-protean (GEO-P) model for OSNs nodes are identified with points ...