3820 search results - page 528 / 764 » Bounded Model Debugging |
139
click to vote
FOCS
2008
IEEE
15 years 9 months ago
2008
IEEE
We study the learnability of sets in Rn under the Gaussian distribution, taking Gaussian surface area as the “complexity measure” of the sets being learned. Let CS denote the ...
138
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Traditional ranking mainly focuses on one type of data source, and effective modeling still relies on a sufficiently large number of labeled or supervised examples. However, in m...
166
click to vote
PODS
1999
ACM
15 years 7 months ago
1999
ACM
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
123
click to vote
EUROCRYPT
1999
Springer
15 years 7 months ago
1999
Springer
We consider the problem of basing Oblivious Transfer (OT) and Bit Commitment (BC), with information theoretic security, on seemingly weaker primitives. We introduce a general model...
143
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...