CFA is complete for EXPTIME.

David Van Horn Harry G. Mairson

Published in: ICFP (2008)

Keyphrases

upper bound
description logics
decision problems
pspace complete
digital camera
neural network
multiscale
computational complexity
image analysis
image quality
pattern matching