Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

Serguei A. Mokhov Joey Paquet

Published in: CoRR (2009)

Keyphrases

information retrieval
decision making
search engine
objective function
data sets
artificial intelligence
image processing
search algorithm
multiresolution