Sciweavers

1329 search results - page 140 / 266
» Randomly Sampling Molecules
Sort
View
SODA
2004
ACM
104views Algorithms» more  SODA 2004»
13 years 11 months ago
Variable length path coupling
We present a new technique for constructing and analyzing couplings to bound the convergence rate of finite Markov chains. Our main theorem is a generalization of the path couplin...
Thomas P. Hayes, Eric Vigoda
ENTCS
2006
114views more  ENTCS 2006»
13 years 10 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
CORR
2002
Springer
132views Education» more  CORR 2002»
13 years 10 months ago
Robust Feature Selection by Mutual Information Distributions
Mutual information is widely used in artificial intelligence, in a descriptive way, to measure the stochastic dependence of discrete random variables. In order to address question...
Marco Zaffalon, Marcus Hutter
IJCV
1998
163views more  IJCV 1998»
13 years 10 months ago
CONDENSATION - Conditional Density Propagation for Visual Tracking
The problem of tracking curves in dense visual clutter is challenging. Kalman filtering is inadequate because it is based on Gaussian densities which, being unimodal, cannot repre...
Michael Isard, Andrew Blake
ICASSP
2011
IEEE
13 years 2 months ago
A robust estimator and detector of circularity of complex signals
Recent research has revealed that circularity (or, propriety) of complex random signals can be exploited in developing optimal signal processors. In this paper, a robust estimator...
Esa Ollila, Visa Koivunen, H. Vincent Poor