1722 search results - page 149 / 345 » Generating Tests from Counterexamples |
VTS
1999
IEEE
14 years 2 months ago
1999
IEEE
Sequential test generators fail to yield tests for some stuck-at-faults because they are unable to reach certain states necessary for exciting propagating these target faults. Add...
PAMI
2006
13 years 10 months ago
2006
A new approach to support vector machine (SVM) classification is proposed wherein each of two data sets are proximal to one of two distinct planes that are not parallel to each oth...
TOG
2008
13 years 10 months ago
2008
This paper presents an optimization-based halftoning technique that preserves the structure and tone similarities between the original and the halftone images. By optimizing an ob...
ACL
2007
13 years 12 months ago
2007
While the average performance of statistical parsers gradually improves, they still attach to many sentences annotations of rather low quality. The number of such sentences grows ...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...