2312 search results - page 65 / 463 » Invariance in Property Testing |
CRV
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Image invariants are those properties of the images of an object that remain unchanged with change in camera parameters, illumination etc. In this paper, we derive an image invari...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
MIRRORBOT
2005
Springer
14 years 3 months ago
2005
Springer
A descriptor is presented for characterizing local image patches in a scale invariant manner. The descriptor is biologicallyplausible in that the necessary computations are simple ...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...