The Allegory of E-Relations in Constructive Type Theory.

Carlos Gonzalía

Published in: RelMiCS (2000)

Keyphrases

theoretical framework
machine learning
databases
theoretical foundation
theoretical basis
real time
data sets
search engine
decision trees
case study
multiscale
data structure
hidden markov models
logic programs
computational model
temporal relations