469 search results - page 13 / 94 » Putting curry-howard to work |
PR
2006
13 years 7 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...
ACII
2005
Springer
14 years 29 days 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 ...
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...
STOC
2009
ACM
14 years 8 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...
ICC
2009
IEEE
14 years 2 months 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...