Login / Signup

Method sequence generation for multiple object states using dynamic symbolic execution.

Hiroki TakamatsuHaruhiko SatoSatoshi OyamaMasahito Kurihara
Published in: SMC (2014)
Keyphrases
  • multiple objects
  • databases
  • objective function
  • data sets
  • neural network
  • high level
  • multi agent systems
  • training set
  • relational databases
  • optimization algorithm
  • generation algorithm