Sign in

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

Derek BronishHampton Smith
Published in: PLPV (2011)
Keyphrases
  • parameter tuning
  • databases
  • social networks
  • feature selection
  • real time
  • neural network
  • information retrieval
  • maximum a posteriori
  • robust estimation