Formal evaluation strategies for feature tracking | IEEE Conference Publication | IEEE Xplore