Computational Soundness for Interactive Primitives.

Michael Backes Esfandiar Mohammadi Tim Ruffing

Published in: ESORICS (1) (2015)

Keyphrases

low level
computer graphics
real time
highly interactive
data mining
building blocks
mathematical programming
artificial intelligence
computer vision
case study
three dimensional
data visualization