Widening Operators for Powerset Domains.

Roberto Bagnara Patricia M. Hill Enea Zaffanella

Published in: VMCAI (2004)

Keyphrases

application domains
expressive power
aggregate functions
real world
image sequences
transfer learning
cross domain
expert systems
data model
information retrieval
decision making
decision trees
hidden markov models