351 search results - page 9 / 71 » On the Learnability of Boolean Formulae |
JEA
2007
13 years 7 months ago
2007
SIAMDM
2002
13 years 7 months ago
2002
JCSS
2011
13 years 2 months ago
2011
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
COLT
1999
Springer
13 years 12 months ago
1999
Springer
We study the problem of PAC-learning Boolean functions with random attribute noise under the uniform distribution. We define a noisy distance measure for function classes and sho...