Sciweavers

4894 search results - page 230 / 979
» Choices
Sort
View
ICITS
2009
15 years 4 months ago
Group Testing and Batch Verification
We observe that finding invalid signatures in batches of signatures that fail batch verification is an instance of the classical group testing problem. We present and compare new ...
Gregory M. Zaverucha, Douglas R. Stinson
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
15 years 4 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 4 months ago
Least Squares Superposition Codes of Moderate Dictionary Size, Reliable at Rates up to Capacity
Sparse superposition codes are developed for the additive white Gaussian noise channel with average codeword power constraint. Codewords are linear combinations of subsets of vecto...
Andrew R. Barron, Antony Joseph
AML
2011
322views Mathematics» more  AML 2011»
15 years 2 months ago
A dedekind finite borel set
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
Arnold W. Miller
INFORMATICALT
2011
91views more  INFORMATICALT 2011»
15 years 2 months ago
A Quadratic Loss Multi-Class SVM for which a Radius-Margin Bound Applies
To set the values of the hyperparameters of a support vector machine (SVM), the method of choice is cross-validation. Several upper bounds on the leave-one-out error of the pattern...
Yann Guermeur, Emmanuel Monfrini