736 search results - page 42 / 148 » Algorithms for Ordinal Arithmetic |
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
A novel and highly efficient algorithm of multiplicarionfree binary arithmetic coding is proposed. Our proposed method relies on simple table lookupsfor performing the computation...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ARITH
2009
IEEE
14 years 2 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...