Sciweavers

11 search results - page 3 / 3
» Using Theorem Proving to Verify Expectation and Variance for...
Sort
View
JACIII
2007
99views more  JACIII 2007»
13 years 5 months ago
Asymptotic Behavior of Linear Approximations of Pseudo-Boolean Functions
We study the problem of approximating pseudoBoolean functions by linear pseudo-Boolean functions. Pseudo-Boolean functions generalize ordinary Boolean functions by allowing the fu...
Guoli Ding, Robert F. Lax, Peter P. Chen, Jianhua ...