On Completeness of Omega-Regular Algebras.

Michael R. Laurence Georg Struth

Published in: RAMiCS (2012)

Keyphrases

spatial reasoning
data quality
database
data sets
neural network
machine learning
website
case study
image segmentation
distributive lattices