Sciweavers

3052 search results - page 326 / 611
» A community-aware search engine
Sort
View
COMPSAC
2006
IEEE
16 years 28 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
ECML
2005
Springer
16 years 12 days ago
Thwarting the Nigritude Ultramarine: Learning to Identify Link Spam
The page rank of a commercial web site has an enormous economic impact because it directly influences the number of potential customers that find the site as a highly ranked sear...
Isabel Drost, Tobias Scheffer
ICADL
2005
Springer
114views Education» more  ICADL 2005»
16 years 12 days ago
Scalability of Databases for Digital Libraries
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
John Chmura, Nattakarn Ratprasartporn, Gultekin &O...
ISMIR
2004
Springer
156views Music» more  ISMIR 2004»
16 years 7 days ago
Artist Classification with Web-Based Data
Manifold approaches exist for organization of music by genre and/or style. In this paper we propose the use of text categorization techniques to classify artists present on the In...
Peter Knees, Elias Pampalk, Gerhard Widmer
SIGIR
2002
ACM
15 years 6 months ago
The web retrieval task and its evaluation in the third NTCIR workshop
This paper gives an overview of the evaluation method used for the Web Retrieval Task in the Third NTCIR Workshop, which is currently in progress. In the Web Retrieval Task, we tr...
Koji Eguchi, Keizo Oyama, Emi Ishida, Kazuko Kuriy...