Multiple ant tracking with global foreground maximization and variable target proposal distribution | IEEE Conference Publication | IEEE Xplore