4962 search results - page 686 / 993 » Stochastic Model Checking |
106
click to vote
IJON
2000
15 years 2 months ago
2000
As part of a forthcoming planetarium show about the human brain, we are producing realistic models of the central nervous system at a variety of scales, from whole brain images to...
110
Voted
FUIN
2002
15 years 2 months ago
2002
Abstract. This article introduces probabilistic cluster branching processes, a probabilistic unfolding semantics for untimed Petri nets, with no structural or safety assumptions, g...
116
Voted
IJCV
1998
15 years 2 months ago
1998
The problem of tracking curves in dense visual clutter is challenging. Kalman filtering is inadequate because it is based on Gaussian densities which, being unimodal, cannot repre...
102
click to vote
MR
2007
15 years 2 months ago
2007
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
139
click to vote
JACM
2010
15 years 29 days ago
2010
clustering of documents according to sharing of topics at multiple levels of abstraction. Given a corpus of documents, a posterior inference algorithm finds an approximation to a ...