Widening operators for powerset domains.

Roberto Bagnara Patricia M. Hill Enea Zaffanella

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases

application domains
real world
expressive power
morphological operators
database
machine learning
computer vision