490 search results - page 28 / 98 » Equivalent Keys of HPC |
106
click to vote
JCSS
2007
15 years 1 months ago
2007
We introduce a combinatorial dimension that characterizes the number of queries needed to exactly (or approximately) learn concept classes in various models. Our general dimension...
CSDA
2004
15 years 1 months ago
2004
Various exact tests for showing a difference between two treatments or the noninferiority (therapeutic equivalence) based on the difference of two binomial proportions are compare...
115
Voted
EUROSYS
2011
ACM
14 years 5 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
140
Voted
SCW
2012
IEEE
13 years 9 months ago
2012
IEEE
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
117
click to vote
TCC
2005
Springer
15 years 7 months ago
2005
Springer
Russell and Wang [22] recently introduced an elegant, information-theoretic notion called entropic security of encryption: they required that the cipher text leak no predicate of ...