23 search results - page 1 / 5 » Another Example of Higher Order Randomness |
FUIN
2002
13 years 4 months ago
2002
We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
Markov Random Field is now ubiquitous in many formulations
of various vision problems. Recently, optimization
of higher-order potentials became practical using higherorder
graph...
MICCAI
2010
Springer
13 years 3 months ago
2010
Springer
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
ENTCS
2008
13 years 4 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
COLT
1999
Springer
13 years 9 months ago
1999
Springer
The empirical error on a test set, the hold-out estimate, often is a more reliable estimate of generalization error than the observed error on the training set, the training estim...