1947 search results - page 26 / 390 » A presentation of Quantum Logic based on an |
91
Voted
ASPDAC
1998
ACM
15 years 4 months ago
1998
ACM
A hardware based approach to Fault Emulation independent of the logic emulation system in use has been developed and is presented in this paper. Fault injection into a targetted c...
134
click to vote
TYPES
1995
Springer
15 years 4 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
93
Voted
CADE
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
132
click to vote
SIAMCOMP
2012
13 years 3 months ago
2012
Abstract. In the framework of Carter and Wegman, a k-independent hash function maps any k keys independently. It is known that 5independent hashing provides good expected performan...
91
Voted
AML
2004
15 years 14 days ago
2004
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...