Sciweavers

96 search results - page 12 / 20
» Ideas and Improvements for Semantic Wikis
Sort
View
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
14 years 29 days ago
Geospatial Location of Music and Sound Files for Music Information Retrieval
A relatively new avenue of Web-based information retrieval research, intended to semantically improve information extraction, is the idea of using geographical information to accu...
Ian Knopke
ASP
2003
Springer
14 years 21 days ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
SDL
2001
125views Hardware» more  SDL 2001»
13 years 8 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
ENTCS
2007
104views more  ENTCS 2007»
13 years 7 months ago
Algorithmic Debugging of Java Programs
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
Rafael Caballero, Christian Hermanns, Herbert Kuch...
SIGIR
2008
ACM
13 years 7 months ago
Measuring concept relatedness using language models
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
Dolf Trieschnigg, Edgar Meij, Maarten de Rijke, We...