Using semi-Markov models to identify long holding times of activities of daily living in smart homes | IEEE Conference Publication | IEEE Xplore