TermPedia for interactive document enrichment using technical terms to provide relevant contextual information | IEEE Conference Publication | IEEE Xplore