Horae: A Graph Stream Summarization Structure for Efficient Temporal Range Query | IEEE Conference Publication | IEEE Xplore