469 search results - page 13 / 94 » Putting curry-howard to work |
207
click to vote
PR
2006
15 years 6 months ago
2006
Fusing the scores of several biometric systems is a very promising approach to improve the overall system's accuracy. Despite many works in the literature, it is surprising t...
157
click to vote
ACII
2005
Springer
15 years 11 months ago
2005
Springer
The applied prospect of the wearable computer is very extensive，in order to put wearable computer into practice, one of key technologies to be solved is to improve antivibration ...
332
click to vote
Book
"This is the (work in progress) book "Algorithms for Programmers". Publication as soon as possible, content is (modulo copy editing) close to final version. I will p...
141
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
We put forward a new approach to mechanism design, and exemplify it via a new mechanism guaranteeing significant revenue in unrestricted combinatorial auctions. Our mechanism ? su...
104
click to vote
ICC
2009
IEEE
16 years 24 days ago
2009
IEEE
— To ensure the security of sensitive Web content, an organization must use TLS and do so correctly. However, little is known about how TLS is actually used on the Web. In this w...