2293 search results - page 280 / 459 » Temporal Logic in Information Systems |
178
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We study recommendations in applications where there are temporal patterns in the way items are consumed or watched. For example, a student who has taken the Advanced Algorithms c...
163
click to vote
DAS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
190
click to vote
INEX
2005
Springer
16 years 2 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
169
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...