3238 search results - page 375 / 648 » On the Computational Interpretation of Negation |
157
click to vote
ICALP
2004
Springer
16 years 10 hour ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
144
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
151
click to vote
PCM
2004
Springer
15 years 12 months ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
177
click to vote
SSPR
2004
Springer
15 years 12 months ago
2004
Springer
High-resolution spectroscopy is a powerful industrial tool. The number of features (wavelengths) in these data sets varies from several hundreds up to a thousand. Relevant feature ...
178
click to vote
UIALL
2004
Springer
15 years 12 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...