257 search results - page 5 / 52 » Computability over The Partial Continuous Functionals |
161
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
155
click to vote
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
140
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper we propose a novel prior-based variational object segmentation method in a global minimization framework which unifies image segmentation and image denoising. The id...
120
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
155
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...