Sciweavers

4255 search results - page 10 / 851
» On Learning Boolean Functions
Sort
View
CCDS
2010
127views more  CCDS 2010»
13 years 7 months ago
Asymptotic enumeration of correlation-immune boolean functions
A boolean function of n boolean variables is correlation-immune of order k if the function value is uncorrelated with the values of any k of the arguments. Such functions are of co...
E. Rodney Canfield, Zhicheng Gao, Catherine S. Gre...
SIAMCOMP
2011
13 years 2 months ago
The Chow Parameters Problem
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...
Ryan O'Donnell, Rocco A. Servedio
ISMVL
2002
IEEE
90views Hardware» more  ISMVL 2002»
14 years 17 days ago
A Conjunctive Canonical Expansion of Multiple-Valued Functions
A generalization of McMillan’s conjunctive expansion of Boolean functions [1] to the case of multiple-valued input binary-valued output functions is presented. It is based on th...
Elena Dubrova, Petra Färm
FOCS
2003
IEEE
14 years 28 days ago
Learning DNF from Random Walks
We consider a model of learning Boolean functions from examples generated by a uniform random walk on {0, 1}n . We give a polynomial time algorithm for learning decision trees and...
Nader H. Bshouty, Elchanan Mossel, Ryan O'Donnell,...
CAV
2010
Springer
251views Hardware» more  CAV 2010»
13 years 11 months ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...