C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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