Monotone Predicate Transformers as Up-Closed Multirelations.

Ingrid Rewitzky Chris Brink

Published in: RelMiCS (2006)

Keyphrases

monotonicity constraints
queueing networks
upper bound
boolean functions
first order logic
real time
computer vision
multiscale
artificial neural networks
mining closed
database
databases
website
similarity measure
logic rules