Reliable Evidence: Auditability by Typing.

Nataliya Guts Cédric Fournet Francesco Zappa Nardelli

Published in: ESORICS (2009)

Keyphrases

empirical evidence
high level
data sets
multimedia
cost effective
image processing
database systems
high quality
cooperative
pattern recognition
computational complexity
preprocessing
color images
management system
evidential reasoning