Sciweavers

176 search results - page 20 / 36
» urban 2008
Sort
View
ECIR
2008
Springer
14 years 11 months ago
Semantic Relationships in Multi-modal Graphs for Automatic Image Annotation
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
95
Voted
SIGIR
2008
ACM
14 years 10 months ago
AIR 2006: First International Workshop on Adaptive Information Retrieval
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...
JFR
2008
95views more  JFR 2008»
14 years 10 months ago
Maintaining network connectivity and performance in robot teams
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...
AISC
2008
Springer
15 years 6 days ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
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...
Peter Chapman, James McKinna, Christian Urban
FMICS
2008
Springer
14 years 11 months ago
Using CSP||B Components: Application to a Platoon of Vehicles
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...