347 search results - page 37 / 70 » Overview of INEX 2005 |
155
click to vote
ICTAC
2005
Springer
15 years 11 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
130
Voted
ILP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
197
click to vote
ISAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
177
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we give an overview of the Foafing the Music system. The system uses the Friend of a Friend (FOAF) and Rich Site Summary (RSS) vocabularies for recommending music t...
185
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
This survey paper provides an overview of content-based music information retrieval systems, both for audio and for symbolic music notation. Matching algorithms and indexing metho...