2585 search results - page 331 / 517 » computing 1999 |
105
Voted
SPIRE
1999
Springer
15 years 8 months ago
1999
Springer
One of the key components of current Web search engines is the document collector. This paper describes CoBWeb, an automatic document collector, whose architecture is distributed ...
128
click to vote
SSD
1999
Springer
15 years 8 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
118
click to vote
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We define sequent-style calculi for nominal tense logics characterized by classes of modal frames that are first-order definable by certain Π0 1 -formulae and Π0 2 -...
146
Voted
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
154
click to vote
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
Blobworld is a system for image retrieval based on nding coherent image regions which roughly correspond to objects. Each image is automatically segmented into regions blobs"...