Joint Optimization of Index Freshness and Coverage in Real-Time Search Engines | IEEE Journals & Magazine | IEEE Xplore