Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing.

Satoshi Yamane Takashi Kanatani

Published in: EUC (2004)

Keyphrases

ubiquitous computing
context aware
ambient intelligence
everyday life
context awareness
everyday objects
machine learning
computer vision
data streams
expert systems
wireless sensor networks
context aware systems