503 search results - page 26 / 101 » Interpolative Boolean Logic |
125
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
155
click to vote
JELIA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Many proposals for logic-based formalizations of argumentation consider an argument as a pair (Φ, α), where the support Φ is understood as a minimal consistent subset ...
107
click to vote
ICCAD
2010
IEEE
15 years 14 days ago
2010
IEEE
Boolean matching for multiple-output functions determines whether two given (in)completely-specified function vectors can be identical to each other under permutation and/or negat...
123
click to vote
DDECS
2008
IEEE
15 years 9 months ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...
133
click to vote
KR
2000
Springer
15 years 6 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...