Kinetic collision detection: algorithms and experiments | IEEE Conference Publication | IEEE Xplore