5387 search results - page 624 / 1078 » Generating generic functions |
165
click to vote
IACR
2011
14 years 6 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
203
click to vote
MCS
2005
Springer
16 years 13 days ago
2005
Springer
Mixed Group Ranks is a parametric method for combining rank based classi ers that is eective for many-class problems. Its parametric structure combines qualities of voting methods...
178
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We investigate the problem of finding the metric structure of a general 3D scene viewed by a moving camera with square pixels and constant unknown focal length. While the problem ...
199
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a question answering (QA) system which learns how to detect and rank answer passages by analyzing questions and their answers (QA pairs) provided as training data. We b...
316
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...