Login / Signup
Bitwidth customization in image processing pipelines using interval analysis and SMT solvers.
Suresh Purini
Vinamra Benara
Ziaul Choudhury
Uday Bondhugula
Published in:
CC (2020)
Keyphrases
</>
interval analysis
image processing
constrained optimization
autocalibration
modulo theories
constraint propagation
machine vision
fuzzy set theory
pattern recognition
search space
image registration
computational intelligence
heuristic search
video camera