167 search results - page 5 / 34 » Translation as Weighted Deduction |
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
We consider the music pattern matching problem—to find occurrences of a small fragment of music called the “pattern” in a larger body of music called the “score”—as a...
FSMNLP
2008
Springer
13 years 10 months ago
2008
Springer
COLING
2010
13 years 9 months ago
2010
RULEML
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present R-DEVICE, a deductive rule language for reasoning about RDF metadata. R-DEVICE includes features such as normal and generalized path expressions, stratifie...
TKDE
2010
13 years 3 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...