Sign in

Green: reducing, reusing and recycling constraints in program analysis.

Willem VisserJaco GeldenhuysMatthew B. Dwyer
Published in: SIGSOFT FSE (2012)
Keyphrases
  • constraint satisfaction
  • machine learning
  • multiscale
  • evolutionary algorithm
  • constrained optimization
  • neural network
  • image segmentation
  • multi agent systems
  • special case
  • hidden markov models