5005 search results - page 645 / 1001 » The Design and Analysis of Parallel Algorithms |
189
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
162
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Due to their minimum consideration to an actual network topology, the existing peer-to-peer (P2P) overlay networks will lead to high latency and low efficiency. In TaChord, we pres...
214
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
177
click to vote
NETWORKS
2008
15 years 6 months ago
2008
The Network Interdiction Problem involves interrupting an adversary's ability to maximize flow through a capacitated network by destroying portions of the network. A budget c...
160
click to vote
EMNLP
2009
15 years 4 months ago
2009
Current statistical machine translation systems usually extract rules from bilingual corpora annotated with 1-best alignments. They are prone to learn noisy rules due to alignment...