757 search results - page 60 / 152 » Monte Carlo Model Checking |
141
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a Bayesian approach to achieve efficient and accurate motion tracking in monocular image sequences. We first extract a deterministic motion model with six degr...
111
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
This paper presents a new method to compute the probability distribution of the delay of a combinational circuit and uses it obtain an estimate of the yield of the process that ma...
95
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
Process variations in nanometer technologies are becoming an important issue for cutting-edge FPGAs with a multimillion gate capacity. Considering both die-to-die and withindie va...
107
Voted
COLING
2010
14 years 9 months ago
2010
This article delves into the scoring function of the statistical paraphrase generation model. It presents an algorithm for exact computation and two applicative experiments. The f...
102
click to vote
WSC
2007
15 years 4 months ago
2007
We estimate the variance parameter of a stationary simulation-generated process using “folded” versions of standardized time series area estimators. We formulate improved vari...