Sciweavers

485 search results - page 8 / 97
» Biometrics: A Grand Challenge
Sort
View
VSTTE
2005
Springer
15 years 5 months ago
Lessons from the JML Project
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
Gary T. Leavens, Curtis Clifton
CGA
2000
14 years 11 months ago
Imagination Amplification
ing graphics from reality as among the top ten challenges in computer graphics while Cohen [4] argues computer graphics real role is to enable imagination amplification beyond real...
Michael F. Cohen
ICB
2009
Springer
255views Biometrics» more  ICB 2009»
14 years 9 months ago
Automatic Partial Face Alignment in NIR Video Sequences
Face recognition with partial face images is an important problem in face biometrics. The necessity can arise in not so constrained environments such as in surveillance video, or p...
Jimei Yang, ShengCai Liao, Stan Z. Li
VSTTE
2005
Springer
15 years 5 months ago
Tool Integration for Reasoned Programming
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
Andrew Ireland