5005 search results - page 896 / 1001 » The Design and Analysis of Parallel Algorithms |
132
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Peer-to-peer (P2P) Web search has gained a lot of interest lately, due to the salient characteristics of P2P systems, namely scalability, fault-tolerance and load-balancing. Howev...
133
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
133
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
While we expect to discover knowledge in the texts available on the Web, such discovery usually requires many complex analysis steps, most of which require different text handling...
136
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
157
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Search logs, which contain rich and up-to-date information about users' needs and preferences, have become a critical data source for search engines. Recently, more and more ...