Login / Signup
Towards Programming and Verification for Activity-Oriented Smart Home Systems.
Xuansong Li
Wei Song
Xiangyu Zhang
Published in:
ASE (2020)
Keyphrases
</>
smart home
ambient assisted living
management system
human activities
intelligent systems
home environments
activity recognition
daily activities
multi agent
computer systems
plan recognition
assisted living
activities of daily living
intelligent environments
computing systems
text mining
expert systems
cooperative