5378 search results - page 241 / 1076 » Base Logics in Argumentation |
172
click to vote
ETS
2011
IEEE
14 years 6 months ago
2011
IEEE
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
187
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
149
click to vote
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we look at the problem of inverter minimization in multi-level logic networks. The network is specified in terms of a set of base functions and the inversion opera...
155
click to vote
TARK
2007
Springer
16 years 25 days ago
2007
Springer
Williamson (2000a) has argued that positive introspection is incompatible with inexact knowledge. His argument relies on a margin-for-error requirement for inexact knowledge based...
164
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose a fuzzy-based decision-making mechanism for selecting data dissemination protocols in wireless sensor networks (WSNs). Its goal is to select the most efficient proto...