measure(ment),4-3-P01-1009,ak | containing them . I show that the <term> | performance | </term> of a <term> search engine </term> can | #1876 I show that the performance of a search engine can be improved dramatically by incorporating an approximation of the formal analysis that is compatible with the search engine's operational semantics. |