4198 search results - page 336 / 840 » In search of lost time |
205
click to vote
NDSS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study the problem of reliably searching for resources in untrusted peer-to-peer networks, where a significant portion of the participating network nodes may act maliciously to...
217
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
This paper studies a version of the job shop scheduling problem in which some operations have to be scheduled within non-relaxable time windows i.e. earliest latest possible start...
194
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
160
click to vote
SIGIR
2006
ACM
16 years 24 days ago
2006
ACM
In this paper, we propose a new strategy with time granularity reasoning for utilizing temporal information in topic tracking. Compared with previous ones, our work has four disti...
196
click to vote
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...