Towards machine-assisted formal procedures for the collection of digital evidence.

Martín Barrère Gustavo Betarte Marcelo Rodríguez

Published in: PST (2011)

Keyphrases

formal methods
artificial intelligence
flowshop
formal model
database
data structure
formal language
mathematical theory
formal models
multiresolution
digital libraries
face recognition
three dimensional
web services
decision making
genetic algorithm
databases