980 search results - page 102 / 196 » Novel Test Pattern Generators for Pseudo-Exhaustive Testing |
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Publication
A novel method for eye and mouth detection and eye center and mouth corner lo-
calization, based on geometrical information is presented in this paper. First, a face
detector is ...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we propose a novel feature, called directional entropy feature (DEF), to improve the performance of human detection under complicated background in images. DEF descr...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
JCB
2002
13 years 7 months ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...