932 search results - page 135 / 187 » Verifying Progress in Timed Systems |
ISVC
2005
Springer
14 years 2 months ago
2005
Springer
Face recognition is a key biometric technology with a wide range of potential applications both in government and private sectors. Despite considerable progress in face recognition...
PVM
2005
Springer
14 years 2 months ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In today’s rapidly changing workplace, it’s becoming more and more difficult for recruiters to find employees that are right for their business. Consideration of cultural fit,...
FPL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...