16430 search results - page 117 / 3286 » On Computable Tree Functions |
122
Voted
ICCD
1992
IEEE
15 years 7 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...
139
Voted
CORR
2011
Springer
14 years 10 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 ...
154
click to vote
CRYPTO
2012
Springer
13 years 6 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...
82
Voted
ENTCS
2008
15 years 3 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...
145
Voted
ENTCS
2007
15 years 3 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...