Synthesis of Trigger Properties.

Orna Kupferman Moshe Y. Vardi

Published in: LPAR (Dakar) (2010)

Keyphrases

image processing
neural network
machine learning
learning algorithm
artificial intelligence
e learning
decision trees
high level
high quality
wide range
artificial neural networks
structural properties
functional programs