757 search results - page 4 / 152 » Monte Carlo Model Checking |
WSC
2008
13 years 10 months ago
2008
NIPS
2008
13 years 9 months ago
2008
We propose an efficient sequential Monte Carlo inference scheme for the recently proposed coalescent clustering model [1]. Our algorithm has a quadratic runtime while those in [1]...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
We propose a sequential Monte Carlo data association algorithm based on a two-level computational framework for tracking varying number of interacting objects in dynamic scene. Fi...
FPL
2007
Springer
14 years 1 months ago
2007
Springer
Simple algorithms can be analytically characterized, but such analysis is questionable or even impossible for more complicated algorithms, such as Model Predictive Control (MPC). ...
CSC
2009
13 years 8 months ago
2009
Small-world networks have become an important model for understanding many complex phenomena in science and in sociological contexts. One tool for exploring the critical and phase...