Towards modeling and verification of smart homes.

Yacine Kissoum Ramdane Maamri Zaïdi Sahnoun

Published in: AICCSA (2013)

Keyphrases

smart home
smart home environment
context aware
activity recognition
ambient intelligence
intelligent environments
older adults
home automation
intelligent systems
knn
lightweight
training set
real time
human activities
multi agent
smart environments
energy aware
assisted living
artificial intelligence