2573 search results - page 170 / 515 » Combinations of Modal Logics |
103
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents the design of a combined two’s complement and IEEE 754-compliant floating-point comparator. Unlike previous designs, this comparator incorporates both op...
137
click to vote
RIAO
2000
15 years 6 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
176
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
132
click to vote
ICAIL
2005
ACM
15 years 10 months ago
2005
ACM
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the ...
117
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this poster, we propose four new heterogeneous programmable logic blocks (PLBs) consisting of a combination of various sizes of look up tables (LUTs), multiplexers (MUXes), and...