1992 search results - page 267 / 399 » Model Based Testing with Labelled Transition Systems |
115
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper, an off-line, text independent system for writer identification using Hidden Markov Model (HMM) based recognizers is described. For each writer we build an individua...
135
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
126
Voted
LREC
2008
15 years 4 months ago
2008
We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...
128
Voted
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
141
click to vote
ISESE
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...