6941 search results - page 249 / 1389 » Testing as a Certification Approach |
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
We present a component-based method and two global methods for face recognition and evaluate them with respect to robustness against pose changes. In the component system we first...
MICCAI
2006
Springer
14 years 9 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
PODS
2003
ACM
14 years 8 months ago
2003
ACM
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
The problem attempted in this paper is to select a sample from a large set where the sample is required to have a particular average property. The problem can be expressed as an o...