3424 search results - page 497 / 685 » Automated Testing of Classes |
162
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
We have developed an automated method that predicts the word accuracy of a speech recognition system for non-native speech, in the context of speaking proficiency scoring. A model...
163
click to vote
VSTTE
2012
Springer
14 years 5 days ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
177
click to vote
TOG
2012
13 years 7 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
183
Voted
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Automated facial expression recognition has received increased attention over the past two decades. Existing works in the field usually do not encode either the temporal evolutio...
144
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Negative bias temperature instability (NBTI) in MOSFETs is one of the major reliability challenges in nano-scale technology. This paper presents an efficient technique to characte...