Program verification: vision and reality.

Published in: Commun. ACM (2021)

Keyphrases

computer vision
vision system
real time
image processing
visual perception
real world
wide range
human computer interaction
active vision
computational vision