Login / Signup

BMC via Dynamic Atomicity Analysis.

Toni Jussila
Published in: ACSD (2004)
Keyphrases
  • data analysis
  • computer vision
  • data sets
  • genetic algorithm
  • databases
  • real world
  • information retrieval
  • decision trees
  • statistical analysis
  • dynamic environments