Mining-guided state justification with partitioned navigation tracks. - Parikh, Ankur; Wu, Weixin; Hsiao, Michael S. (2007)