5115 search results - page 696 / 1023 » On Randomized Lanczos Algorithms |
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 ...
168
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...
172
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 ...
196
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...
166
click to vote
TKDE
2008
15 years 6 months ago
2008
We present a method for explaining predictions for individual instances. The presented approach is general and can be used with all classification models that output probabilities...