The Holodex: Integrating Summarization with the Index | IEEE Conference Publication | IEEE Xplore