2272 search results - page 108 / 455 » Validity Invariants and Effects |
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
CVPR
2007
IEEE
15 years 3 days ago
2007
IEEE
We present light fall-off stereo?LFS?a new method for computing depth from scenes beyond lambertian reflectance and texture. LFS takes a number of images from a stationary camera ...
ICIP
2008
IEEE
14 years 12 months ago
2008
IEEE
In this paper a new content-based copy identification method for video sequences is presented. It is robust to a number of image transformations and particulary robust to compress...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
We present a probabilistic approach to shape matching which is invariant to rotation, translation and scaling. Shapes are represented by unlabeled point sets, so discontinuous bou...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
A new feature descriptor is presented for object and scene recognition. The new approach, called CDIKP, uniquely combines the scale-invariant feature detection with a robust proje...