useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Abstract. All search happens in a particular context—such as the particular collection of a digital library, its associated search tasks, and its associated users. Information re...
Ontology construction requires an understanding of the meaning and usage of its encoded concepts. While definitions found in dictionaries or glossaries may be adequate for many co...
Result merging is a key component in a metasearch engine. Once the results from various search engines are collected, the metasearch system merges them into a single ranked list. T...
Yiyao Lu, Weiyi Meng, Liangcai Shu, Clement T. Yu,...
Video information retrieval requires a system to find information relevant to a query which may be represented simultaneously in different ways through a text description, audio...