Elimination Techniques for Program Analysis.

Published in: Programming Logics (2013)

Keyphrases

elimination algorithm
machine learning
information retrieval
genetic algorithm
search algorithm
optical flow
active learning
hidden markov models
small number