736 search results - page 42 / 148 » Algorithms for Ordinal Arithmetic |
124
click to vote
ESORICS
2010
Springer
15 years 2 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...
135
click to vote
ICIP
2003
IEEE
16 years 4 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...
150
Voted
CSL
2008
Springer
15 years 4 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...
130
click to vote
ARITH
2009
IEEE
15 years 9 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...
96
Voted
DATE
2006
IEEE
15 years 8 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ļ¬...