• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Full-Abstraction for Must Testing Preorders - (Extended Abstract).

Giovanni BernardiAdrian Francalanza
Published in: COORDINATION (2017)
Keyphrases
  • extended abstract
  • test cases
  • artificial intelligence
  • computer vision
  • multiresolution
  • databases
  • genetic algorithm
  • search space
  • evolutionary algorithm
  • hidden markov models
  • low level