: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
This paper introduces a flexible learning approach for image retrieval with relevance feedback. A semantic repository is constructed offline by applying the k-nearest-neighborbase...
This paper proposes a novel view of the information generated by relevance feedback. Latent semantic analysis is adapted to this view to extract useful inter-query information. Th...
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...