5269 search results - page 709 / 1054 » order 2007 |
185
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Word segmentation is a crucial step for segmentation-free document analysis systems and is used for creating an index based on word matching. In this paper, we propose a novel met...
198
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Peer-to-peer networks often use incentive policies to encourage cooperation between nodes. Such systems are generally susceptible to collusion by groups of users in order to gain ...
181
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing DHT-based file systems use consistent hashing to assign file blocks to random machines. As a result, a user task accessing an entire file or multiple files needs to r...
177
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 1 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
160
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...