Sciweavers

2312 search results - page 234 / 463
» Invariance in Property Testing
Sort
View
WETICE
2005
IEEE
15 years 11 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
MICCAI
1999
Springer
15 years 10 months ago
3D Image Matching Using a Finite Element Based Elastic Deformation Model
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
Matthieu Ferrant, Simon K. Warfield, Charles R. G....
CVPR
2006
IEEE
16 years 7 months ago
Multiclass Object Recognition with Sparse, Localized Features
We apply a biologically inspired model of visual object recognition to the multiclass object categorization problem. Our model modifies that of Serre, Wolf, and Poggio. As in that...
Jim Mutch, David G. Lowe
CVPR
2008
IEEE
16 years 7 months ago
Light-invariant fitting of active appearance models
This paper deals with shading and AAMs. Shading is created by lighting change. It can be of two types: selfshading and external shading. The effect of self-shading can be explicit...
Daniel Pizarro, Julien Peyras, Adrien Bartoli
ICCV
2007
IEEE
16 years 7 months ago
Image Classification using Random Forests and Ferns
We explore the problem of classifying images by the object categories they contain in the case of a large number of object categories. To this end we combine three ingredients: (i...
Andrew Zisserman, Anna Bosch, Xavier Muñoz