503 search results - page 41 / 101 » Interpolative Boolean Logic |
102
Voted
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
104
Voted
BIBM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
106
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...
118
click to vote
CORR
2004
Springer
15 years 20 days ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
82
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...