78 search results - page 1 / 16 » Creating Invariance to |
CVPR
2005
IEEE
14 years 7 months ago
2005
IEEE
A major goal for face recognition is to identify faces where the pose of the probe is different from the stored face. Typical feature vectors vary more with pose than with identit...
ESOP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
ICPR
2006
IEEE
13 years 11 months ago
2006
IEEE
In hand shape recognition, transformation invariance is key for successful recognition. We propose a system that is invariant to small scale, translation and shape variations. Thi...