Sciweavers

1677 search results - page 250 / 336
» On the Completeness of Quantum Computation Models
Sort
View
ICCV
2001
IEEE
16 years 3 months ago
Stripe Boundary Codes for Real-Time Structured-Light Range Scanning of Moving Objects
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 ...
Olaf A. Hall-Holt, Szymon Rusinkiewicz
ICCV
2001
IEEE
16 years 3 months ago
Camera Calibration and 3D Reconstruction from Single Images Using Parallelepipeds
In this paper, parallelepipeds and their use in camera calibration and 3D reconstruction processes are studied. Parallelepipeds naturally characterize rigidity constraints present...
Marta Wilczkowiak, Edmond Boyer, Peter F. Sturm
104
Voted
ECCV
2008
Springer
16 years 3 months ago
Extracting Moving People from Internet Videos
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...
Juan Carlos Niebles, Bohyung Han, Andras Ferencz, ...
108
Voted
ICPR
2008
IEEE
16 years 2 months ago
Generic scale-space process for handwriting documents analysis
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
Guillaume Joutel, Hubert Emptoz, Véronique ...
COORDINATION
2009
Springer
16 years 2 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti