Categorical liveness checking by corecursive algebras.

Natsuki Urabe Masaki Hara Ichiro Hasuo

Published in: LICS (2017)

Keyphrases

categorical data
spatial reasoning
attribute values
distributive lattices
image processing
numerical data
database
artificial intelligence
feature selection
artificial neural networks
clifford algebra