Login / Signup

Learning Models for Verification and Testing - Special Track at ISoLA 2014 Track Introduction.

Falk HowarBernhard Steffen
Published in: ISoLA (1) (2014)
Keyphrases
  • learning models
  • loss function
  • real world
  • machine learning algorithms
  • learning algorithm
  • feature space
  • natural language processing
  • genetic programming
  • maximum likelihood
  • learning tasks
  • learning paradigms