Structuring Interactive Correctness Proofs by Formalizing Coding Idioms.

Published in: SSV (2011)

Keyphrases

coding scheme
computer vision
data structure
user friendly
coding method
neural network
graphical interface
artificial intelligence
multiresolution
user interaction
inter frame
interactive video