1722 search results - page 199 / 345 » Generating Tests from Counterexamples |
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Stop word detection is attempted in this work in the context of retrieval of document images in the compressed domain. Algorithms are presented to identify text lines and words an...
DSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...
AIIA
2007
Springer
14 years 3 months ago
2007
Springer
The discovery of emerging patterns (EPs) is a descriptive data mining task defined for pre-classified data. It aims at detecting patterns which contrast two classes and has been ...
FGR
2006
IEEE
14 years 3 months ago
2006
IEEE
Motivated by a recently proposed biologically-inspired face recognition approach, psychophysical experiments have been carried out. We measured recognition performance of polar fr...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
— We suggest a statistical estimator to measure the extent to which failures propagate in cascading failures such as large blackouts. The estimator is tested on a saturating bran...