arXiv:1810.04167v1 [cs.IR] 9 Oct 2018 Universidad Nacional del Sur T ESIS DE D OCTOR EN C IENCIAS DE LA C OMPUTACIÓN Caracterización Formal y Análisis Empírico de Mecanismos Incrementales de Búsqueda basados en Contexto Carlos M. Lorenzetti BAHÍA B LANCA A RGENTINA 2011