[hal-01332467] User in the Loop: Adaptive Smart Homes Exploiting User Feedback—State of the Art and Future Directions