757 search results - page 19 / 152 » Monte Carlo Model Checking |
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
Video telephony could be considerably enhanced by provision of a tracking system that allows freedom of movement to the speaker, while maintaining a well-framed image, for transmi...
WSC
2004
13 years 10 months ago
2004
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...
FOCS
1999
IEEE
14 years 1 months ago
1999
IEEE
We study two widely used algorithms, Glauber dynamics and the Swendsen-Wang algorithm, on rectangular subsets of the hypercubic lattice
ECCV
2008
Springer
15 years 1 months ago
2008
Springer
We introduce a new concept of co-recognition for object-level image matching between an arbitrary image pair. Our method augments putative local regionmatches to reliable object-...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
A distributed Monte Carlo simulation which models the propagation of light through tissue has been developed. It will allow for improved calibration of medical imaging devices for...