Coinduction up to in a fibrational setting.

Filippo Bonchi Daniela Petrisan Damien Pous Jurriaan Rot

Published in: CoRR (2014)

Keyphrases

neural network
information retrieval
computer vision
pattern recognition
decision making
three dimensional
similarity measure
search algorithm
upper bound
information extraction