11716 search results - page 54 / 2344 » Computable symbolic dynamics |
DAC
2001
ACM
16 years 24 days ago
2001
ACM
DAC
2002
ACM
16 years 24 days ago
2002
ACM
GREC
2007
Springer
15 years 6 months ago
2007
Springer
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
104
click to vote
CSL
2010
Springer
15 years 29 days ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...