7839 search results - page 1425 / 1568 » What's there and what's not |
126
click to vote
ISMIR
2000
Springer
15 years 4 months ago
2000
Springer
Music librarians and cataloguers have traditionally created indexes that allow users to access musical works using standard reference information, such as the name of the composer...
155
click to vote
PKC
2000
Springer
15 years 4 months ago
2000
Springer
A number of signature schemes and standards have been recently designed, based on the Discrete Logarithm problem. In this paper we conduct design validation of such schemes while t...
101
click to vote
EUROCRYPT
1997
Springer
15 years 4 months ago
1997
Springer
Oblivious transfer (OT) is an important primitive in cryptography. In chosen one-out-of-two string OT, a sender offers two strings, one of which the other party, called the receive...
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
The School of Architecture and Allied Arts at the University of Oregon consists of nine departments and programs with 5000 students, 160 faculty, and a few dozen staff. When I cam...
118
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...