4276 search results - page 406 / 856 » Techniques for Empirical Validation |
195
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
181
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
We show that a simple, memory-based technique for appearance-based face recognition, motivated by the realworld task of visitor identification, can outperform more sophisticated a...
162
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of mem...
159
click to vote
FAST
2010
15 years 9 months ago
2010
A number of techniques have been proposed to reduce the risk of data loss in hard-drives, from redundant disks (e.g., RAID systems) to error coding within individual drives. Disk ...
187
click to vote
AAAI
2007
15 years 9 months ago
2007
Partially Observable Markov Decision Processes (POMDPs) provide an appropriately rich model for agents operating under partial knowledge of the environment. Since finding an opti...