3820 search results - page 603 / 764 » Bounded Model Debugging |
127
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Scoring rules for eliciting expert predictions of random variables are usually developed assuming that experts derive utility only from the quality of their predictions (e.g., sco...
133
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We study probabilistic bit-probe schemes for the membership problem. Given a set A of at most n elements from the universe of size m we organize such a structure that queries of t...
160
Voted
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
136
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—On a stream of two dimensional data items (x, y) where x is an item identifier, and y is a numerical attribute, a correlated aggregate query requires us to first apply a selec...
159
click to vote
KDD
2012
ACM
13 years 5 months ago
2012
ACM
Multi-task learning (MTL) aims to improve the performance of multiple related tasks by exploiting the intrinsic relationships among them. Recently, multi-task feature learning alg...