Sciweavers

1345 search results - page 144 / 269
» Reliable dissolve detection
Sort
View
PR
2008
328views more  PR 2008»
15 years 6 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 6 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...
174
Voted
CVPR
2003
IEEE
16 years 9 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 9 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
262
Voted
POPL
2005
ACM
16 years 7 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...