7167 search results - page 88 / 1434 » A Technique for Invariant Generation |
179
click to vote
3DPVT
2006
IEEE
16 years 8 days ago
2006
IEEE
This paper addresses the problem of face recognition in the presence of deformation due to expressions. Facial motion is considered as an isometric mapping between surfaces, which...
152
click to vote
IJCNN
2006
IEEE
16 years 6 days ago
2006
IEEE
— Higher order networks allow modelling of correlates and geometrically invariant properties. Current techniques for their development either require domain knowledge, or are con...
159
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
167
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
We consider coverage problems in sensor networks of stationary nodes with minimal geometric data. In particular, there are no coordinates and no localization of nodes. We introduc...
180
click to vote
SCIA
2009
Springer
15 years 10 months ago
2009
Springer
Features from the Scale Invariant Feature Transformation (SIFT) are widely used for matching between spatially or temporally displaced images. Recently a topology on the SIFT featu...