Login / Signup
Digital provenance - interpretation, verification and corroboration.
Philip Turner
Published in:
Digit. Investig. (2005)
Keyphrases
</>
metadata
image interpretation
model checking
fine grained
concurrent systems
asynchronous circuits
formal analysis
information systems
digital images
database
image analysis
temporal logic
relational databases
formal methods
digital curves
social networks
data sets