Sciweavers

9626 search results - page 107 / 1926
» Invariant Based Programming
Sort
View
CVPR
2006
IEEE
16 years 7 months ago
A Projective Invariant for Textures
Image texture analysis has received a lot of attention in the past years. Researchers have developed many texture signatures based on texture measurements, for the purpose of uniq...
Cornelia Fermüller, Hui Ji, Yong Xu
POPL
2010
ACM
16 years 2 months ago
From Program Verification to Program Synthesis
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
ICIP
2004
IEEE
16 years 6 months ago
Robust perceptual image hashing via matrix invariants
In this paper we suggest viewing images (as well as attacks on them) as a sequence of linear operators and propose novel hashing algorithms employing transforms that are based on ...
Mehmet Kivanç Mihçak, Ramarathnam Ve...
CVPR
2010
IEEE
16 years 1 months ago
Chaotic Invariants of Lagrangian Particle Trajectories for Anomaly Detection in Crowded Scenes
A novel method for crowd flow modeling and anomaly detection is proposed for both coherent and incoherent scenes. The novelty is revealed in three aspects. First, it is a unique ut...
Shandong Wu, Brian E. Moore, and Mubarak Shah
MM
2003
ACM
241views Multimedia» more  MM 2003»
15 years 10 months ago
Invariance in motion analysis of videos
In this paper, we propose an approach that retrieves motion of objects from the videos based on the dynamic time warping of view invariant characteristics. The motion is represent...
Cen Rao, Mubarak Shah, Tanveer Fathima Syeda-Mahmo...