Sciweavers

640 search results - page 32 / 128
» Discovering State Invariants
Sort
View
TCSV
2008
291views more  TCSV 2008»
13 years 11 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
ICCV
2009
IEEE
13 years 8 months ago
Simultaneous photometric invariance and shape recovery
In this paper we identify the constraints under which the generally ill-posed problem of the simultaneous recovery of surface shape and its photometric invariants can be rendered ...
Cong Phuoc Huynh, Antonio Robles-Kelly
FOCS
2009
IEEE
14 years 5 months ago
The Quantum and Classical Complexity of Translationally Invariant Tiling and Hamiltonian Problems
— We study the complexity of a class of problems involving satisfying constraints which remain the same under translations in one or more spatial directions. In this paper, we sh...
Daniel Gottesman, Sandy Irani
CHARME
2003
Springer
100views Hardware» more  CHARME 2003»
14 years 4 months ago
Inductive Assertions and Operational Semantics
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
J. Strother Moore
CVPR
2007
IEEE
15 years 29 days ago
3D Probabilistic Feature Point Model for Object Detection and Recognition
This paper presents a novel statistical shape model that can be used to detect and localise feature points of a class of objects in images. The shape model is inspired from the 3D...
Sami Romdhani, Thomas Vetter