It is important to integrate contextual information in order to improve the inaccurate results of current approaches for automatic image annotation. Graph based representations all...
Vassilios Stathopoulos, Jana Urban, Joemon M. Jose
Adaptive Information Retrieval (IR) systems are designed to optimize retrieval effectiveness and user interaction in an underlying search environment. In this article, we report o...
Hideo Joho, Jana Urban, Robert Villa, Joemon M. Jo...
In this paper, we present an experimental study of strategies for maintaining end-to-end communication links for tasks such as surveillance, reconnaissance, and target search and ...
M. Ani Hsieh, Anthony Cowley, Vijay Kumar, Camillo...
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...