4962 search results - page 438 / 993 » Stochastic Model Checking |
173
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
A dynamic texture is a generative model for video that
treats the video as a sample from spatio-temporal stochastic
process. One problem associated with the dynamic texture
is t...
141
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We address in this paper the problem of segmenting complex handritten pages such as novelist drafts or authorial manuscripts. We propose to use stochastic and contextual models in...
105
click to vote
ICCAD
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper studies microprocessor floorplanning considering thermal and throughput optimization. We first develop a stochastic heat diffusion model taking into account the appl...
162
click to vote
FMSB
2008
15 years 5 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
139
click to vote
WSC
1996
15 years 5 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...