1399 search results - page 113 / 280 » Verification of Test Suites |
154
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
131
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
159
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
136
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
139
Voted
FTCS
1998
15 years 6 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...