Sciweavers

2096 search results - page 192 / 420
» Structured Parameter Elicitation
Sort
View
ICRA
2006
IEEE
81views Robotics» more  ICRA 2006»
15 years 10 months ago
Uncertainty Ellipsoids Calculations for Complex 3D Reconstructions
— Many methods exist for the automatic and optimal 3D reconstruction of camera motion and scene structure from image sequence (’Structure from Motion‘ or SfM). The solution t...
Maxime Lhuillier, Mathieu Perriollat
IPPS
2006
IEEE
15 years 10 months ago
Implementation of a reconfigurable hard real-time control system for mechatronic and automotive applications
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...
Steffen Toscher, Roland Kasper, Thomas Reinemann
ICCS
2005
Springer
15 years 10 months ago
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
Frédéric Loulergue, Fréd&eacu...
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 9 months ago
Aligning CNF- and Equivalence-Reasoning
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
Marijn Heule, Hans van Maaren
VR
2003
IEEE
211views Virtual Reality» more  VR 2003»
15 years 9 months ago
Editing Real World Scenes: Augmented Reality with Image-based Rendering
We present a method that using only an uncalibrated camera allows the capture of object geometry and appearance, and then at a later stage registration and AR overlay into a new s...
Dana Cobzas, Martin Jägersand, Keith Yerex