Complementation of Abstract Domains made Easy.

Gilberto Filé Francesco Ranzato

Published in: JICSLP (1996)

Keyphrases

high level
computer vision
application domains
data sets
decision making
artificial neural networks
cross domain
search problems