139
click to vote
ICALP
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
122
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
Many information resources on the web are relevant primarily to limited geographical communities. For instance, web sites containing information on restaurants, theaters, and apar...
141
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
Maintaining currency of search engine indices by exhaustive crawling is rapidly becoming impossible due to the increasing size and dynamic content of the web. Focused crawlers aim...