Login / Signup
Mechanizing the Metatheory of LF
Christian Urban
James Cheney
Stefan Berghofer
Published in:
CoRR (2008)
Keyphrases
</>
light field
temporal resolution
genetic algorithm
pattern recognition
motion estimation
real time
query language