Sign in

Formally Verified System Initialisation.

Andrew BoytonJune AndronickCallum BannisterMatthew FernandezXin GaoDavid GreenawayGerwin KleinCorey LewisThomas Sewell
Published in: ICFEM (2013)
Keyphrases
  • databases
  • neural network
  • real world
  • information retrieval
  • computer vision
  • web services
  • training data
  • high quality
  • pattern recognition
  • mobile devices