279 search results - page 24 / 56 » Testing for Refinement in CSP |
113
Voted
TVLSI
2008
15 years 2 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...
95
Voted
INTERSPEECH
2010
14 years 9 months 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...
100
Voted
WETICE
2003
IEEE
15 years 8 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 ...
92
Voted
ANTS
2006
Springer
15 years 6 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...
112
Voted
ACL
1998
15 years 4 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...