757 search results - page 110 / 152 » Monte Carlo Model Checking |
144
click to vote
ICCV
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we address the issue of extracting contour of the object with a specific shape. A hierarchical graphical model is proposed to represent shape variations. A complex ...
DAC
2009
ACM
16 years 3 months ago
2009
ACM
With aggressive technology scaling, SRAM design has been seriously challenged by the difficulties in analyzing rare failure events. In this paper we propose to create statistical ...
113
Voted
IPMI
2005
Springer
16 years 3 months ago
2005
Springer
Abstract. Most of the approaches dedicated to fiber tracking from diffusionweighted MR data rely on a tensor model. However, the tensor model can only resolve a single fiber orient...
123
Voted
ICML
2009
IEEE
16 years 3 months ago
2009
IEEE
The inhomogeneous Poisson process is a point process that has varying intensity across its domain (usually time or space). For nonparametric Bayesian modeling, the Gaussian proces...
114
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— We consider the problem of tracking multiple moving robots using noisy sensing of inter-robot and interbeacon distances. Sensing is local: there are three fixed beacons at kno...