192 search results - page 5 / 39 » Boolean Matching Using Generalized Reed-Muller Forms |
91
Voted
NIPS
2001
14 years 11 months ago
2001
The paper studies machine learning problems where each example is described using a set of Boolean features and where hypotheses are represented by linear threshold elements. One ...
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
166
Voted
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract-- A decomposition of a binary matrix into two matrices gives a set of basis vectors and their appropriate combination to form the original matrix. Such decomposition solut...
84
Voted
3DPVT
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a computational framework for the inference of dense descriptions from multiple view stereo with general camera placement. Thus far research on dense multiple view ster...