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

Automatically Refining Abstract Interpretations.

Bhargav S. GulavaniSupratik ChakrabortyAditya V. NoriSriram K. Rajamani
Published in: TACAS (2008)
Keyphrases
  • automatically generated
  • multiresolution
  • real world
  • cooperative
  • data mining
  • genetic algorithm
  • artificial intelligence
  • decision making
  • image processing
  • multimedia
  • three dimensional
  • video sequences
  • higher level