A Neat Embedding Theorem for Expansions of Cylindric Algebras.

Tarek Sayed Ahmed Basim Samir

Published in: Log. J. IGPL (2007)

Keyphrases

vector space
spatial reasoning
data hiding
robust image watermarking
real time
artificial intelligence
website
temporal reasoning
nonlinear dimensionality reduction
data embedding
structure preserving
relation algebra
distributive lattices