8874 search results - page 1557 / 1775 » A New Implementation of Automath |
235
click to vote
AXMEDIS
2006
IEEE
15 years 11 months ago
2006
IEEE
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...
188
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
We introduce Ad Hoc Anonymous Identification schemes, a new multi-user cryptographic primitive that allows participants from a user population to form ad hoc groups, and then prove...
198
click to vote
COLT
2006
Springer
15 years 11 months ago
2006
Springer
In an online convex optimization problem a decision-maker makes a sequence of decisions, i.e., chooses a sequence of points in Euclidean space, from a fixed feasible set. After ea...
221
click to vote
DSN
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
226
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...