SKIPPER: a tool that lets browsers adapt to changes in document relevance to its user | IEEE Conference Publication | IEEE Xplore