1813 search results - page 241 / 363 » Measuring the Effectiveness of Software Testing |
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
CVPR
2008
IEEE
16 years 1 days ago
2008
IEEE
In this paper, we address the pair-activity classification problem, which explores the relationship between two active objects based on their motion information. Our contributions...
ICIP
2006
IEEE
2006
IEEE
Fusion of Visible and Infrared Images using Empirical Mode Decomposition to Improve Face Recognition
15 years 11 months ago
In this effort, we propose a new image fusion technique, utilizing Empirical Mode Decomposition (EMD), for improved face recognition. EMD is a non-parametric datadriven analysis t...
ICML
2007
IEEE
15 years 10 months ago
2007
IEEE
For large-scale classification problems, the training samples can be clustered beforehand as a downsampling pre-process, and then only the obtained clusters are used for training....
MHCI
2007
Springer
15 years 4 months ago
2007
Springer
Conversation partners on mobile phones can align their walking gait without physical proximity or visual feedback. We investigate gait synchronization, measured by accelerometers ...