Robust, generic, modularly-verified map: a software verification challenge problem.

Derek Bronish Hampton Smith

Published in: PLPV (2011)

Keyphrases

parameter tuning
databases
social networks
feature selection
real time
neural network
information retrieval
maximum a posteriori
robust estimation