9841 search results - page 690 / 1969 » Distributed Value Functions |
230
click to vote
HASKELL
2005
ACM
16 years 1 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
180
click to vote
FSE
2005
Springer
16 years 1 months ago
2005
Springer
This paper contains several attacks on the hash function MD2 which has a hash code size of 128 bits. At Asiacrypt 2004 Muller presents the first known preimage attack on MD2. The ...
203
click to vote
CIS
2004
Springer
16 years 26 days ago
2004
Springer
There are a lot of very important data in database, which need to be protected from attacking. Cryptographic support is an important mechanism of securing them. People, however, mu...
194
click to vote
IFL
2003
Springer
16 years 20 days ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
203
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...