4690 search results - page 330 / 938 » An operational semantics for Scheme |
177
click to vote
JCP
2006
15 years 6 months ago
2006
This paper1 presents an efficient modeling technique for data streams in a dynamic spatiotemporal environment and its suitability for mining developing trends. The streaming data a...
201
click to vote
PAMI
2011
15 years 1 months ago
2011
—Optical flow estimation is classically marked by the requirement of dense sampling in time. While coarse-to-fine warping schemes have somehow relaxed this constraint, there is...
220
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
We construct the first homomorphic signature scheme that is capable of evaluating multivariate polynomials on signed data. Given the public key and a signed data set, there is an...
186
click to vote
CANS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Predicate encryption is a new powerful cryptographic primitive which allows for fine-grained access control for encrypted data: the owner of the secret key can release pa...
192
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...