16430 search results - page 768 / 3286 » On Computable Tree Functions |
176
click to vote
MOR
2010
15 years 6 months ago
2010
The goal of the current paper is to introduce the notion of certificates which verify the accuracy of solutions of computational problems with convex structure; such problems inc...
202
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
183
click to vote
OZCHI
2006
ACM
16 years 1 months ago
2006
ACM
We present LookPoint, a system that uses eye input for switching input between multiple computing devices. LookPoint uses an eye tracker to detect which screen the user is looking...
176
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
173
click to vote
TOG
2002
15 years 7 months ago
2002
Several techniques have been developed to approximate Bidirectional Reflectance Distribution Functions (BRDF) with acceptable quality and performance for realtime applications. Th...