Sciweavers

4955 search results - page 917 / 991
» Ontologies and the semantic web
Sort
View
ESOP
2005
Springer
15 years 3 months ago
Towards a Type System for Analyzing JavaScript Programs
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
Peter Thiemann
ISMIR
2005
Springer
141views Music» more  ISMIR 2005»
15 years 3 months ago
Multiple Lyrics Alignment: Automatic Retrieval of Song Lyrics
We present an approach to automatically retrieve and extract lyrics of arbitrary songs from the Internet. It is intended to provide easy and convenient access to lyrics for users,...
Peter Knees, Markus Schedl, Gerhard Widmer
LPAR
2005
Springer
15 years 3 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
WEBDB
2005
Springer
102views Database» more  WEBDB 2005»
15 years 3 months ago
An Evaluation and Comparison of Current Peer-to-Peer Full-Text Keyword Search Techniques
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...
Ming Zhong, Justin Moore, Kai Shen, Amy L. Murphy
ITRUST
2004
Springer
15 years 3 months ago
Analyzing Correlation between Trust and User Similarity in Online Communities
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
Cai-Nicolas Ziegler, Georg Lausen