757 search results - page 83 / 152 » Monte Carlo Model Checking |
137
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
130
Voted
DAC
1996
ACM
15 years 6 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
206
click to vote
Book
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...
114
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we present a Bayesian framework for the fully automatic tracking of a variable number of interacting targets using a fixed camera. This framework uses a joint multi...
121
Voted
ICIP
2002
IEEE
16 years 4 months ago
2002
IEEE
We describe a method for inferring tree-like vascular structures from 2D imagery. A Markov Chain Monte Carlo (MCMC) algorithm is employed to produce approximate samples from the p...