3771 search results - page 487 / 755 » Subobject Transformation Systems |
130
click to vote
PCM
2009
Springer
15 years 9 months ago
2009
Springer
Many presentations consisting of video, audio and slides are being recorded for wider dissemination purposes. Video slide alignment is necessary for efficient review and hence has ...
149
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
133
click to vote
EUROCRYPT
2001
Springer
15 years 9 months ago
2001
Springer
NTRU is a fast public key cryptosystem presented in 1996 by Hoffstein, Pipher and Silverman of Brown University. It operates in the ring of polynomials Z[X]/(XN − 1), where the ...
129
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
We examine diffusion properties of Rijndael which has been selected by US National Institute of Standards and Technology (NIST) for the proposed Advanced Encryption Standard (AES)....
129
click to vote
STACS
2001
Springer
15 years 8 months ago
2001
Springer
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial, or have a high (though constant) query complexity. In thi...