Login / Signup
Formalizing Context in Intuitionistic Type Theory.
Pascal Boldini
Published in:
Fundam. Informaticae (2000)
Keyphrases
</>
theoretical framework
real time
general theory
contextual information
context aware
computational model
databases
information theory
context dependent
theoretical basis
pattern recognition
machine learning
user model
theoretical foundation
context sensitive
database
interval valued