503 search results - page 3 / 101 » Interpolative Boolean Logic |
ICIP
1997
IEEE
14 years 6 months ago
1997
IEEE
In this paper Boolean filters and a variation of these, FIR-Boolean hybrid filters are proposed for realizing the prediction stages of a multiresolution lossless image compression...
FPGA
2009
ACM
13 years 11 months ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...
JSYML
2002
13 years 4 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
APAL
2006
13 years 5 months ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
EUSFLAT
2009
13 years 2 months ago
2009
