3052 search results - page 199 / 611 » A community-aware search engine |
150
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Pattern matching relies on deterministic finite automata (DFA) to search for predefined patterns. While a bit-DFA method is recently proposed to exploit the parallelism in pattern...
154
click to vote
VMCAI
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
179
click to vote
SPIRE
2010
Springer
15 years 5 months ago
2010
Springer
This paper focuses on using hyperlinks in the ranking of web search results. We give a brief overview of the vast body of work in the area; we provide a quantitative comparison of ...
184
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Adversarial IR in general, and search engine spam, in particular, are engaging research topics with a real-world impact for Web users, advertisers and publishers. The AIRWeb works...
162
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...