Login / Signup

Optimizing techniques for saturated arithmetic with first-order linear recurrence.

Weihua ZhangLili LiuChen ZhangHongJiang ZhangBinyu ZangChuanqi Zhu
Published in: SAC (2009)
Keyphrases
  • database
  • first order logic
  • closed form
  • data sets
  • computer vision
  • feature selection
  • image processing
  • piecewise linear
  • transfer function
  • floating point
  • linear systems
  • quantifier elimination
  • quantifier free