6608 search results - page 1127 / 1322 » On the Completeness of Model Checking |
131
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
142
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper, parallelepipeds and their use in camera calibration and 3D reconstruction processes are studied. Parallelepipeds naturally characterize rigidity constraints present...
131
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We propose a fully automatic framework to detect and extract arbitrary human motion volumes from real-world videos collected from YouTube. Our system is composed of two s...
158
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
136
Voted
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
During collusion attacks against multimedia forensics, an important issue that colluders need to address is the fairness of the attack, i.e., whether all colluders take the same r...