Login / Signup
Une formalisation du contexte dans les environnements coopératifs nomades.
Manuele Kirsch-Pinheiro
Marlène Villanova-Oliver
Jérôme Gensel
Hervé Martin
Published in:
UbiMob (2005)
Keyphrases
</>
formal analysis
machine learning
artificial intelligence
video sequences
contextual information
business process
bayesian networks
case based reasoning
background knowledge
software components
theorem prover
literature review