Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms.
María AlpuenteAngel Cuenca-OrtegaSantiago EscobarJosé MeseguerPublished in: CoRR (2018)
Keyphrases
- knowledge base
- robust image watermarking
- first order logic
- vector space
- nonlinear dimensionality reduction
- condition action rules
- genetic algorithm
- topology preserving
- watermarking algorithm
- complete axiomatization
- graph embedding
- information hiding
- multidimensional scaling
- horn clauses
- data hiding
- piecewise linear
- digital images
- high dimensional
- case study
- information systems
- learning algorithm