1722 search results - page 149 / 345 » Generating Tests from Counterexamples |
97
Voted
VTS
1999
IEEE
15 years 4 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...
109
Voted
PAMI
2006
15 years 17 days 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...
74
Voted
TOG
2008
15 years 16 days 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...
102
Voted
ACL
2007
15 years 2 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 ...
110
Voted
SAC
2004
ACM
15 years 6 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...