A Complete Axiom System for Isomorphism of Types in Closed Categories.

Sergei Soloviev

Published in: LPAR (1993)

Keyphrases

computer vision
website
social networks
object recognition
queueing networks
data mining
machine learning
feature selection
case study
multi agent
artificial neural networks
hidden markov models
inference rules