Sciweavers

2958 search results - page 367 / 592
» Extending and Implementing RASP
Sort
View
CODES
2008
IEEE
15 years 7 months ago
Symbolic voter placement for dependability-aware system synthesis
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
Felix Reimann, Michael Glabeta, Martin Lukasiewycz...
CRV
2008
IEEE
192views Robotics» more  CRV 2008»
15 years 7 months ago
Realtime Visualization of Monocular Data for 3D Reconstruction
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
Adam Rachmielowski, Neil Birkbeck, Martin Jäg...
ETFA
2008
IEEE
15 years 7 months ago
3D-based monocular SLAM for mobile agents navigating in indoor environments
This paper presents a novel algorithm for 3D depth estimation using a particle filter (PFDE - Particle Filter Depth Estimation) in a monocular vSLAM (Visual Simultaneous Localiza...
Dejan Pangercic, Radu Bogdan Rusu, Michael Beetz
104
Voted
ICASSP
2008
IEEE
15 years 7 months ago
On nonlinear transformations of stochastic variables and its application to nonlinear filtering
A class of nonlinear transformation-based filters (NLTF) for state estimation is proposed. The nonlinear transformations that can be used include first (TT1) and second (TT2) or...
Fredrik Gustafsson, Gustaf Hendeby
110
Voted
ICIP
2008
IEEE
15 years 7 months ago
A fast level set algorithm for shape-based segmentation with multiple selective priors
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
Rachid Fahmi, Aly A. Farag