3457 search results - page 346 / 692 » A Symbol Is Not a Symbol |
141
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
191
click to vote
ICGI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...
146
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
Rhythm, beat and meter are key concepts of music in general. Many efforts had been made in the last years to automatically extract beat and meter from a piece of music given eithe...
155
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, an application of feature extraction from music data is first introduced to motivate our research of finding approximate repeating patterns from sequence data. An a...
254
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...