Multi-level Contextual Type Theory

Mathieu Boespflug Brigitte Pientka

Published in: LFMTP (2011)

Keyphrases

theoretical framework
theoretical basis
contextual information
three dimensional
formal theory
data sets
general theory
theoretical foundation
multiscale
hidden markov models
evolutionary algorithm
cooperative
context sensitive
information theory
multi layer
multi agent
data mining