81 search results - page 14 / 17 » Rewrite Systems for Integer Arithmetic |
155
Voted
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
104
Voted
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
119
Voted
SAT
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
94
Voted
INDOCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...
127
click to vote
ACIVS
2006
Springer
15 years 7 months ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...