757 search results - page 82 / 152 » Monte Carlo Model Checking |
137
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: The protein folding problem is a fundamental problems in computational molecular biology and biochemical physics. Various optimisation methods have been applied to for...
199
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
A Bayesian marked point process (MPP) model is developed
to detect and count people in crowded scenes. The
model couples a spatial stochastic process governing number
and placem...
109
Voted
PVLDB
2010
15 years 1 months ago
2010
Enterprises often need to assess and manage the risk arising from uncertainty in their data. Such uncertainty is typically modeled as a probability distribution over the uncertain...
135
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In traditional framework of Compressive Sensing (CS), only sparse prior on the property of signals in time or frequency domain is adopted to guarantee the exact inverse recovery. ...
109
Voted
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
Traditional collision intensive multi-body simulations are difficult to control due to extreme sensitivity to initial conditions or model parameters. Furthermore, there may be mu...