Dependently-Typed Formalisation of Relation-Algebraic Abstractions.

Published in: RAMiCS (2011)

Keyphrases

higher order
high level
neural network
database
information retrieval
search engine
computer vision
e learning
case study
inference rules