1033 search results - page 112 / 207 » Properties of Exercise Strategies |
161
click to vote
ICADL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose an approach to Distributed Information Retrieval based on the periodic and incremental centralisation of full-text indices of widely dispersed and autonomously...
153
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
134
click to vote
HIPC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we describe a novel strategy for carrying out lookups in Chord-based peer-to-peer (P2P) networks, wherein nodes are assumed to behave selfishly. This is in contrast ...
134
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
120
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...