Sciweavers

4355 search results - page 395 / 871
» From Interpretation to Compilation
Sort
View
CAIP
2007
Springer
118views Image Analysis» more  CAIP 2007»
16 years 1 months ago
Surface Reconstruction Using Polarization and Photometric Stereo
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
Gary Atkinson, Edwin R. Hancock
CAV
2007
Springer
104views Hardware» more  CAV 2007»
16 years 1 months ago
Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly ...
SEW
2005
IEEE
16 years 13 days ago
Case Studies for Software Engineers
The topic of this full-day tutorial was the correct use and interpretation of case studies as an empirical research method. Using an equal blend of lecture and discussion, it gave...
Dewayne E. Perry, Susan Elliott Sim, Steve M. East...
AMS
2005
Springer
107views Robotics» more  AMS 2005»
16 years 12 days ago
Elastic View Graphs: A new Framework for Sequential 3D-SLAM
This paper presents a new approach for incremental 3D SLAM from segmented range images with unknown feature association. For feature and motion tracking, an any-time interpretation...
Peter Kohlhepp, Marcus Walther
IEAAIE
2005
Springer
16 years 10 days ago
The Coordination of Parallel Search with Common Components
The preservation of common components has been recently isolated as a beneficial feature of genetic algorithms. One interpretation of this benefit is that the preservation of commo...
Stephen Chen, Gregory Pitt