Sciweavers

1345 search results - page 144 / 269
» Reliable dissolve detection
Sort
View
PR
2008
328views more  PR 2008»
15 years 4 months ago
Activity based surveillance video content modelling
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
Tao Xiang, Shaogang Gong
ICFP
2006
ACM
16 years 4 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
CVPR
2003
IEEE
16 years 6 months ago
Practical Super-Resolution from Dynamic Video Sequences
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
Zhongding Jiang, Tien-Tsin Wong, Hujun Bao
CVPR
2007
IEEE
16 years 6 months ago
Spatio-temporal Shape and Flow Correlation for Action Recognition
This paper explores the use of volumetric features for action recognition. First, we propose a novel method to correlate spatio-temporal shapes to video clips that have been autom...
Yan Ke, Rahul Sukthankar, Martial Hebert
POPL
2005
ACM
16 years 5 months ago
Automated soundness proofs for dataflow analyses and transformations via local rules
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
Sorin Lerner, Todd D. Millstein, Erika Rice, Craig...