2540 search results - page 94 / 508 » Abstract Logics as Dialgebras |
180
click to vote
ML
2010
ACM
15 years 1 months ago
2010
ACM
With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applica...
162
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...
176
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
169
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
352
click to vote
WEA
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...