814 search results - page 22 / 163 » Analysis of Modular Arithmetic |
111
click to vote
VISUAL
2005
Springer
15 years 7 months ago
2005
Springer
We present a Modular Bilinear Disciminant Analysis (MBDA) approach for face recognition. A set of classifiers are trained independently on specific face regions, and different c...
95
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
83
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
117
click to vote
DFG
2007
Springer
15 years 5 months ago
2007
Springer
: Interval arithmetic was introduced by Ramon Moore [Moo66] in the 1960s as an approach to bound rounding errors in mathematical computation. The theory of interval analysis emerge...
116
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...