Sign in

Sound Numerical Computations in Abstract Acceleration.

Dario CattaruzzaAlessandro AbatePeter SchrammelDaniel Kroening
Published in: NSV@CAV (2017)
Keyphrases
  • machine learning
  • higher level
  • state machines
  • real world
  • information systems
  • image segmentation
  • low level
  • management system
  • case based reasoning
  • knowledge level