1890 search results - page 220 / 378 » Model-Based Testing in Practice |
188
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
165
click to vote
COLING
2010
15 years 1 months ago
2010
Model minimization has been shown to work well for the task of unsupervised part-of-speech tagging with a dictionary. In (Ravi and Knight, 2009), the authors invoke an integer pro...
284
click to vote
NFM
2011
15 years 28 days ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
191
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—The Coherent Approximation Principle (CAP) is a method for aggregating forecasts of probability from a group of judges by enforcing coherence with minimal adjustment. This paper...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The goal of the work described here is to limit the computation needed in unit selection Viterbi search for text-to-speech synthesis. The broader goal is to improve speech quality...