Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha Nimit Singhania Satish Chandra Manu Sridharan

Published in: CAV (2012)

Keyphrases

input image
neural network
multimedia
decision trees
three dimensional
user interface
efficient learning
method finds