1806 search results - page 122 / 362 » Some Functions Computable with a Fused-Mac |
163
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
167
Voted
CRYPTO
2005
Springer
15 years 11 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
133
click to vote
FOCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived) classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how ...
147
click to vote
IGPL
2008
15 years 5 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
190
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Automatic age estimation from facial images has aroused research interests in recent years due to its promising potential for some computer vision applications. Among the methods ...