Sciweavers

2939 search results - page 384 / 588
» A geometric approach to aggregation
Sort
View
CADE
2009
Springer
16 years 7 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
CVPR
2009
IEEE
16 years 3 months ago
Motion pattern interpretation and detection for tracking moving vehicles in airborne video
Detection and tracking of moving vehicles in airborne videos is a challenging problem. Many approaches have been proposed to improve motion segmentation on frameby-frame and pixel...
Gérard G. Medioni, Qian Yu
CVPR
2010
IEEE
16 years 2 months ago
A Framework for Ultra High Resolution 3D Imaging
We present an imaging framework to acquire 3D surface scans at ultra high-resolutions (exceeding 600 samples per mm2 ). Our approach couples a standard structured-light setup and ...
Zheng Lu, Yu-Wing Tai, Moshe Ben-Ezra, Michael Bro...
ICPR
2008
IEEE
16 years 28 days ago
Automatic pose estimation of 3D facial models
Pose estimation plays an essential role in many computer vision applications, such as human computer interaction (HCI), driver attentiveness monitoring, face recognition, automati...
Yi Sun, Lijun Yin
PSIVT
2007
Springer
135views Multimedia» more  PSIVT 2007»
16 years 19 days ago
Fast Directional Image Completion
Abstract. We developed a fast image completion system using the multiresolution approach to accelerate the convergence of the system. The downsampling approach is for the texture-e...
Chih-Wei Fang, Jenn-Jier James Lien