757 search results - page 50 / 152 » Monte Carlo Model Checking |
121
Voted
AAAI
2006
15 years 4 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
124
click to vote
PAMI
2008
15 years 2 months ago
2008
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
109
Voted
CP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
109
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Signals in response to time-localized events of a common phenomenon tend to exhibit a common shape, but with variable time scale, amplitude, and delay across trials in many domain...
119
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose a Monte Carlo method for determining the parameters of multipath components (MPCs) for ultra-wideband channels. A partially collapsed Gibbs sampler is used for jointly ...