A Binary Decision Tree Abstract Domain Functor.

Junjie Chen Patrick Cousot

Published in: SAS (2015)

Keyphrases

complex objects
domain specific
binary decision tree
domain independent
high level
higher level
artificial intelligence
computer vision
image sequences