8874 search results - page 310 / 1775 » A New Implementation of Automath |
156
click to vote
CGI
2003
IEEE
16 years 1 days ago
2003
IEEE
In this paper, we propose a new interpolatory subdivision scheme for generating nice-looking curvature-continuous curves of round shapes. The scheme is based on a diffusion of nor...
146
click to vote
ISWC
2003
IEEE
16 years 16 hour ago
2003
IEEE
We present a new type of wearable musical instrument called the DJammer. The DJammer brings turntable like creative functionality to the MP3 world while offering a collaborative p...
184
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
To better manage the ever increasing complexity of LAM/MPI, we have created a lightweight component architecture for it that is specifically designed for high-performance message p...
154
click to vote
INDOCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
We consider a variant of the Complex Multiplication (CM) method for constructing elliptic curves (ECs) of prime order with additional security properties. Our variant uses Weber po...
145
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...