921 search results - page 27 / 185 » Abstract Matrix Arithmetic |
109
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
125
Voted
TSP
2008
15 years 4 months ago
2008
Abstract--In this paper, the problem of blind channel estimation under orthogonal space
125
Voted
CHES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A digit-serial, multiplier-accumulator based cryptographic coprocessor architecture is proposed, similar to fix-point DSP's with enhancements, supporting long modula...
213
click to vote
UMC
2000
15 years 8 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
176
Voted
SPIN
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...