5138 search results - page 719 / 1028 » Randomized Algorithms for 3-SAT |
198
click to vote
CVIU
2007
15 years 6 months ago
2007
A Bayesian framework is proposed for stereo vision where solutions to both the model parameters and the disparity map are posed in terms of predictions of latent variables, given ...
153
click to vote
LMCS
2006
15 years 6 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
173
click to vote
MP
2006
15 years 6 months ago
2006
We consider two-stage pure integer programs with discretely distributed stochastic right-hand sides. We present an equivalent superadditive dual formulation that uses the value fun...
173
click to vote
IEICET
2007
15 years 6 months ago
2007
We compare the convergence performance of different numerical schemes for computing the fundamental matrix from point correspondences over two images. First, we state the problem ...
198
click to vote
TCS
2008
15 years 6 months ago
2008
A large class of q-distributions is defined on the stochastic model of Bernoulli trials in which the probability of success (=advancing to the next level) depends geometrically on...