523 search results - page 12 / 105 » Symbolic Test Selection Based on Approximate Analysis |
CSDA
2007
13 years 7 months ago
2007
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
ENC
2004
IEEE
13 years 11 months ago
2004
IEEE
Hidden Markov models have become the preferred technique for visual recognition of human gestures. However, the recognition rate depends on the set of visual features used, and al...
ISSRE
2003
IEEE
14 years 25 days ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a novel hierarchical approach to triangular mesh generation from height fields. A waveletbased multiresolution analysis technique is used to estimate local sha...
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...