SAT based enforcement of domotic effects in smart environments.
Fulvio CornoFaisal RazzakPublished in: J. Ambient Intell. Humaniz. Comput. (2014)
Keyphrases
- smart environments
- ambient intelligence
- context aware
- sensor data
- health monitoring
- activity recognition
- smart home
- pervasive computing
- human behavior
- wearable computing
- intention recognition
- ubiquitous systems
- sat solvers
- context awareness
- access control
- bounded model checking
- ubiquitous computing
- answer set programming
- human activities
- vision system
- genetic algorithm
- ambient intelligence systems
- constraint solver
- ambient assisted living
- intelligent agents
- learning algorithm