6704 search results - page 283 / 1341 » Testing Scenario-Based Models |
124
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper introduces an effective initialization approach for segmentation using the Chan-Vese model. The initial curve is found by searching among the extremals of the fidelity ...
177
click to vote
ISMIR
2005
Springer
16 years 5 days ago
2005
Springer
A method is presented for automatic transcription of sung melodic fragments to score-like representation, including metric values and pitch. A joint model for pitch, rhythm, segme...
163
click to vote
IEEEMSP
2002
IEEE
15 years 11 months ago
2002
IEEE
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
182
click to vote
NAACL
2007
15 years 8 months ago
2007
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...
171
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...