A Comparison between Decision Trees and Markov Models to Support Proactive Interfaces | IEEE Conference Publication | IEEE Xplore