Theoretical Foundations of Computer Vision