In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userā...
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
The model checking problem for ļ¬nite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
This paper discusses the combination of collaborative and contentbased ļ¬ltering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...
Christopher B. Jones, Harith Alani, Douglas Tudhop...