Indexing time vs. query time: trade-offs in dynamic information retrieval systems