4850 search results - page 930 / 970 » Proof and Computation in Geometry |
92
Voted
SIGMOD
1995
ACM
15 years 2 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
BIRTHDAY
1991
Springer
15 years 2 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
113
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
In practice, rigid objects often move on a plane. The object then rotates around a fixed axis and translates in a plane orthogonal to this axis. For a concrete example, think of a...
97
Voted
ASIACRYPT
2008
Springer
15 years 28 days ago
2008
Springer
In an oblivious transfer (OT) protocol, a Sender with messages M1, . . . , MN and a Receiver with indices 1, . . . , k [1, N] interact in such a way that at the end the Receiver ...
81
Voted
CCS
2008
ACM
15 years 28 days ago
2008
ACM
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...