3457 search results - page 404 / 692 » A Symbol Is Not a Symbol |
160
click to vote
KES
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a system for recognizing sketched logic circuits in real-time and graphically simulating them afterwords. It has been developed for use in university and school...
168
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
120
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
180
click to vote
MKM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
188
click to vote
MYCRYPT
2005
Springer
16 years 9 days ago
2005
Springer
This article presents optimization results on the recent MOVA undeniable signature scheme presented by Monnerat and Vaudenay at PKC ’04 as well as its generalization proposed at ...