1219 search results - page 166 / 244 » Verification of Equivalent-Results Methods |
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
This communication presents an effective method for writer recognition in handwritten documents. We have introduced a set of features that are extracted from the contours of handw...
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
COMPSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
AVSS
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose in this work a method for detecting faces in colour images with complex backgrounds. The approach starts with the transformation of the image pixels from the RGB colour...
SEW
2006
IEEE
14 years 4 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...