1722 search results - page 216 / 345 » Generating Tests from Counterexamples |
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
The recognition of script in historical documents requires suitable techniques in order to identify single words. Segmentation of lines and words is a challenging task because lin...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
Locating arteries hidden beneath superficial tissue can be a difficult task in minimally invasive surgery. This paper reports the development of a system that finds the paths of a...
SIGMOD
1997
ACM
14 years 1 months ago
1997
ACM
One of the most well-studied problems in data mining is mining for association rules in market basket data. Association rules, whose significance is measured via support and confi...
CIS
2009
Springer
14 years 1 months ago
2009
Springer
A virus detection system (VDS) based on artificial immune system (AIS) is proposed in this paper. VDS at first generates the detector set from virus files in the dataset, negative ...
FTCS
1998
13 years 10 months ago
1998
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...