Verification of uncertain context based on a theory of context spaces.
Amir PadovitzSeng Wai LokeArkady B. ZaslavskyBernard BurgPublished in: Int. J. Pervasive Comput. Commun. (2007)
Keyphrases
- context sensitive
- formal methods
- decision making
- theoretical framework
- contextual information
- knowledge retrieval
- model checking
- context aware
- multiscale
- case study
- probabilistic model
- incomplete information
- web services
- context dependent
- theoretical basis
- learning algorithm
- uncertain information
- speech acts
- neural network