7167 search results - page 65 / 1434 » A Technique for Invariant Generation |
201
click to vote
TMI
2011
15 years 1 months ago
2011
—We consider 3D brain structures as continuous parameterized surfaces and present a metric for their comparisons that is invariant to the way they are parameterized. Past compari...
140
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
143
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques ar...
165
click to vote
CVPR
2005
IEEE
16 years 8 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...
163
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
The most significant bit (MSB)-plane of an image is least likely to change by the most signal processing operations. Watermarking techniques are, however, unable to exploit the MS...