Sciweavers

1278 search results - page 15 / 256
» The Complexity of Weighted Boolean
Sort
View
143
Voted
ATS
2010
IEEE
239views Hardware» more  ATS 2010»
15 years 1 months ago
Mining Complex Boolean Expressions for Sequential Equivalence Checking
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, M...
122
Voted
JCSS
2011
75views more  JCSS 2011»
14 years 10 months ago
The complexity of Boolean formula minimization
David Buchfuhrer, Christopher Umans
132
Voted
MFCS
2010
Springer
15 years 1 months ago
Weights of Exact Threshold Functions
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
László Babai, Kristoffer Arnsfelt Ha...
131
Voted
ALT
2001
Springer
16 years 14 days ago
Learning of Boolean Functions Using Support Vector Machines
This paper concerns the design of a Support Vector Machine (SVM) appropriate for the learning of Boolean functions. This is motivated by the need of a more sophisticated algorithm ...
Ken Sadohara
169
Voted
ALGORITHMICA
1998
103views more  ALGORITHMICA 1998»
15 years 3 months ago
On Bayes Methods for On-Line Boolean Prediction
We examine a general Bayesian framework for constructing on-line prediction algorithms in the experts setting. These algorithms predict the bits of an unknown Boolean sequence usin...
Nicolò Cesa-Bianchi, David P. Helmbold, San...