3040 search results - page 203 / 608 » Independent Natural Extension |
97
Voted
CORR
2008
Springer
15 years 24 days ago
2008
Springer
Statistical learning theory chiefly studies restricted hypothesis classes, particularly those with finite Vapnik-Chervonenkis (VC) dimension. The fundamental quantity of interest i...
121
Voted
CJ
2006
15 years 23 days ago
2006
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...
83
Voted
MP
2006
15 years 20 days ago
2006
Abstract. There is a natural norm associated with a starting point of the homogeneous selfdual (HSD) embedding model for conic convex optimization. In this norm two measures of the...
117
Voted
JCS
2007
15 years 18 days ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
106
Voted
JLP
2007
15 years 18 days ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...