3557 search results - page 518 / 712 » Authoring Presentation for OpenMath |
155
click to vote
CALCO
2005
Springer
16 years 1 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
168
click to vote
EGC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The paper presents proposed Security Architecture for Open Collaborative Environment (OCE) being developed in the framework of the Collaboratory.nl (CNL) project with the...
186
click to vote
EUROCRYPT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. MD5 is one of the most widely used cryptographic hash functions nowadays. It was designed in 1992 as an improvement of MD4, and its security was widely studied since then...
151
click to vote
ICALP
2005
Springer
16 years 18 hour ago
2005
Springer
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...
178
click to vote
ICTAC
2005
Springer
16 years 10 hour ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...