A collision resolution algorithm for a finite user model | IEEE Conference Publication | IEEE Xplore