Automating the residential thermostat based on house occupancy | IEEE Conference Publication | IEEE Xplore