Login / Signup
Predicate Transformers, (co)Monads and Resolutions
Pierre Hyvernat
Published in:
CoRR (2009)
Keyphrases
</>
high resolution
frame rate
first order logic
image resolution
neural network
video sequences
database
computer vision
knowledge base
database systems
multiscale
support vector
relational databases
image analysis
datalog programs