Mechanizing the Metatheory of LF.

Christian Urban James Cheney Stefan Berghofer

Published in: LICS (2008)

Keyphrases

light field
neural network
temporal resolution
expert systems
valued logic
database
real time
databases
computer vision
pattern recognition
object recognition