2920 search results - page 229 / 584 » Finite information logic |
164
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Gate leakage (direct tunneling current for sub65nm CMOS) can severely affect both the transient and steady state behaviors of CMOS circuits. In this paper we quantify t...
167
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
There is a growing concern about timing errors resulting from design marginalities and the effects of circuit aging on speed-paths in logic circuits. This paper presents a low ove...
155
click to vote
TABLEAUX
2007
Springer
16 years 23 days ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
181
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
227
click to vote
DKE
2008
15 years 6 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...