16430 search results - page 117 / 3286 » On Computable Tree Functions |
152
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
171
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— Computing the partition function and the marginals of a global probability distribution are two important issues in any probabilistic inference problem. In a previous work, we ...
185
click to vote
CRYPTO
2012
Springer
13 years 8 months ago
2012
Springer
We construct a functional encryption scheme secure against an a-priori bounded polynomial number of collusions for the class of all polynomial-size circuits. Our constructions req...
113
click to vote
ENTCS
2008
15 years 6 months ago
2008
We de ne the e ective integrability of Fine-computable functions and e ectivize some fundamental limit theorems in the theory of Lebesgue integral such as Bounded Convergence Theo...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...