257 search results - page 5 / 52 » Computability over The Partial Continuous Functionals |
177
Voted
TPHOL
2008
IEEE
16 years 6 days 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...
171
click to vote
TLCA
2007
Springer
15 years 12 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...
159
Voted
ICPR
2008
IEEE
16 years 7 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...
133
Voted
ECSQARU
2009
Springer
16 years 12 days 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...
171
click to vote
CORR
2007
Springer
15 years 5 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...