Sign in

Combination of Abstractions in the ASTRÉE Static Analyzer.

Patrick CousotRadhia CousotJérôme FeretLaurent MauborgneAntoine MinéDavid MonniauxXavier Rival
Published in: ASIAN (2006)
Keyphrases
  • high level
  • multiscale
  • support vector
  • data sets
  • real world
  • learning algorithm
  • reinforcement learning
  • preprocessing
  • artificial neural networks
  • data acquisition