2681 search results - page 111 / 537 » Topics in asynchronous systems |
155
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
133
click to vote
CLEF
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the participation of the University of Alicante in the new CL-SR Track at CLEF conference. In this track we introduce a set of features in the topics processi...
124
click to vote
TREC
2003
15 years 5 months ago
2003
The robust retrieval track is a new track in TREC 2003. The goal of the track is to improve the consistency of retrieval technology by focusing on poorly performing topics. In add...
177
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a framework that assesses relevance with respect to several relevance criteria, by combining the query-dependent and query-independent evidence indicating thes...
168
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes an adaptive system for video news story tracking based on the Earth Mover’s Distance (EMD). When an interesting story appears in the news, it is flagged man...