Sciweavers

9626 search results - page 114 / 1926
» Invariant Based Programming
Sort
View
ICIP
2006
IEEE
16 years 6 months ago
Video Scene Retrieval Based on Local Region Features
This paper describes a novel method for content extraction and scene retrieval for video sequences based on local region descriptors. The local invariant features are obtained for...
Arasanathan Anjulan, Cedric Nishan Canagarajah
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 10 months ago
Predictive Reachability Using a Sample-Based Approach
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer,...
162
Voted
MVA
2007
201views Computer Vision» more  MVA 2007»
15 years 6 months ago
A 3D Shape Descriptor Based on Hadamard Transform and Spherical Harmonic Transform
Shape matching plays an important role in many application fields. In this paper, we propose a novel rotation invariant 3D shape descriptor based on Hadamard transform and spheric...
Guyu Xin, Hongbin Zha
ICPR
2008
IEEE
16 years 6 months ago
Motion estimation approach based on dual-tree complex wavelets
The loss of information due to occlusion and other complications has been one of the main bottlenecks in the field of motion estimation. In this paper, we propose a novel motion e...
Changzhu Wu, Hongxiao Wang, Qing Wang
ICPR
2006
IEEE
16 years 6 months ago
Discriminative Descriptor-Based Observation Model for Visual Tracking
Varying illumination and partial occlusion are two main difficulties in visual tracking. Existing methods based on appearance information cannot solve these problems effectively s...
Chu-Song Chen, Wen-Yan Chang, Yi-Ping Hung