7 search results - page 1 / 2 » Bidual Horn Functions and Extensions |
DAM
1999
13 years 5 months ago
1999
IPL
2002
13 years 5 months ago
2002
We consider the problem of dualizing a Boolean function f given by CNF, i.e., computing a CNF for its dual fd . While this problem is not solvable in quasi-polynomial total time i...
STACS
1998
Springer
13 years 9 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...
NIPS
2001
13 years 6 months ago
2001
We propose a novel clustering method that is an extension of ideas inherent to scale-space clustering and support-vector clustering. Like the latter, it associates every data poin...
PLILP
1998
Springer
13 years 9 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...