Categorical Liveness Checking by Corecursive Algebras.

Natsuki Urabe Masaki Hara Ichiro Hasuo

Published in: CoRR (2017)

Keyphrases

categorical data
clifford algebra
spatial reasoning
numerical values
database
data sets
machine learning
information retrieval
computer vision
database systems
similarity measure
special case
model checking
numerical data