814 search results - page 22 / 163 » Analysis of Modular Arithmetic |
VISUAL
2005
Springer
15 years 3 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...
CAV
2009
Springer
15 years 10 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...
DAC
2005
ACM
15 years 11 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...
DFG
2007
Springer
15 years 1 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...
LPAR
2010
Springer
14 years 7 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...