101 search results - page 1 / 21 » First-order focused crawling |
CADE
2005
Springer
14 years 4 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
SG
2010
Springer
13 years 9 months ago
2010
Springer
VLDB
2000
ACM
13 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...
WWW
2006
ACM
14 years 5 months ago
2006
ACM
A collaborative crawler is a group of crawling nodes, in which each crawling node is responsible for a specific portion of the web. We study the problem of collecting geographical...
ILP
2004
Springer
13 years 10 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...