279 search results - page 24 / 56 » Testing for Refinement in CSP |
148
click to vote
TVLSI
2008
15 years 5 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
139
click to vote
INTERSPEECH
2010
15 years 21 days ago
2010
We propose an HMM Trajectory Tiling (HTT) approach to high quality TTS, which is our entry to Blizzard Challenge 2010. In HTT, first refined HMM is trained with the Minimum Genera...
139
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
123
click to vote
ANTS
2006
Springer
15 years 9 months ago
2006
Springer
For the families ax4 = by4 +z4 +v4 +w4 , a, b = 1, . . . , 100, and ax3 = by3 + z3 + v3 + w3 , a, b = 1, . . . , 100, of projective algebraic threefolds, we test numerically the co...
145
click to vote
ACL
1998
15 years 7 months ago
1998
We present an approach to anaphora resolution based on a focusing algorithm, and implemented within an existing MUC (Message Understanding Conference) Information Extraction syste...