NaviMine: A tool for mining trajectories through behavior prediction | IEEE Conference Publication | IEEE Xplore