Sciweavers

2957 search results - page 424 / 592
» Processing Self Corrections
Sort
View
EMSOFT
2011
Springer
14 years 6 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CVPR
2009
IEEE
17 years 1 months ago
A Robust Approach for Automatic Registration of Aerial Images with Untextured Aerial LiDAR Data
Airborne LiDAR technology draws increasing interest in large-scale 3D urban modeling in recent years. 3D Li- DAR data typically has no texture information. To generate photo-rea...
Lu Wang, Ulrich Neumann
CVPR
1999
IEEE
16 years 8 months ago
Integrating Shape from Shading and Range Data Using Neural Networks
This paper presents a framework for integrating multiple sensory data, sparse range data and dense depth maps from shape from shading in order to improve the 3D reconstruction of ...
Mostafa G.-H. Mostafa, Sameh M. Yamany, Aly A. Far...
CVPR
2003
IEEE
16 years 8 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
2004
IEEE
16 years 8 months ago
Multibody Motion Segmentation Based on Simulated Annealing
The problem of multibody motion segmentation is an important and challenging issue in computer vision. In this paper, a novel segmentation technique based on simulated annealing (...
Zhimin Fan, Jie Zhou, Ying Wu