A Monadic Framework for Interactive Realizability.

Giovanni Birolo

Published in: CoRR (2013)

Keyphrases

main contribution
virtual reality
computer vision
video sequences
databases
real world
artificial intelligence
data model
multi class
software engineering
key features