In this paper we focus on the following problem in information management: given a large collection of recorded information and some knowledge of the process that is generating th...
We present Shoechicken, an intelligent agentbased system for rating RSS and Atom news content based on user preferences. The system builds a user profile implicitly by observing a...
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...
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...