Mechanizing the metatheory of LF.

Christian Urban James Cheney Stefan Berghofer

Published in: ACM Trans. Comput. Log. (2011)

Keyphrases

light field
temporal resolution
machine learning
decision making
valued logic
database
image processing
high quality
video sequences