Login / Signup
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation.
Kong Woei Susanto
Tim Todman
José Gabriel F. Coutinho
Wayne Luk
Published in:
SOFSEM (2009)
Keyphrases
</>
image manipulation
image editing
user interface
high resolution
image registration
digital images
low cost
human perception