742 search results - page 56 / 149 » Order Structure, Correspondence, and Shape Based Categories |
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
Most iris recognition systems use the global and local texture information of the iris in order to recognize individuals. In this work, we investigate the use of macro-features th...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
HT
2005
ACM
14 years 1 months ago
2005
ACM
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userâ...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
This paper proposes a novel approach to recognize object categories in point clouds. By quantizing 3D SURF local descriptors, computed on partial 3D shapes extracted from the poin...