More and more digitized art images are accumulated and expanded in our daily life and techniques need to be established on how to organize and retrieval them. Though content-based...
Pervasive computing is an emerging computing paradigm, which is expected to be part of our everyday life in the foreseeable future. The coordination among heterogeneous devices, s...
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
Abstract. Searching for information on the Internet became much easier when Google started delivering their service. We got used to getting the most important (probably) results on...