1228 search results - page 77 / 246 » Continuations, proofs and tests |
ISMIR
2004
Springer
14 years 1 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...
FECS
2006
13 years 9 months ago
2006
We describe a distance-learning (DL) experiment to test whether interaction between the instructor and a student in the recording studio can improve the learning of remote student...
NAACL
1994
13 years 9 months ago
1994
The BYBLOS continuous speech recognition system is applied to on-line cursive handwriting recognition. By exploiting similarities between on-line cursive handwriting and continuou...
CVGIP
2010
13 years 8 months ago
2010
We present a novel parallel algorithm for fast continuous collision detection (CCD) between deformable models using multi-core processors. We use a hierarchical representation to ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...