Formal Eavesdropping and Its Computational Interpretation.

Martín Abadi Jan Jürjens

Published in: TACS (2001)

Keyphrases

mathematical programming
high level
multiscale
image processing
website
data structure
image interpretation
formal methods
real time
data sets
metadata
search algorithm
object recognition
relational databases
mathematical theory