Sciweavers

14 search results - page 1 / 3
» sfm 2010
Sort
View
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
13 years 8 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser
SFM
2010
Springer
162views Formal Methods» more  SFM 2010»
13 years 8 months ago
Performance and Security Tradeoff
Katinka Wolter, Philipp Reinecke
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
13 years 10 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ECCV
2010
Springer
13 years 9 months ago
Efficient Non-Consecutive Feature Tracking for Structure-from-Motion
Abstract. Structure-from-motion (SfM) is an important computer vision problem and largely relies on the quality of feature tracking. In image sequences, if disjointed tracks caused...
CVPR
2010
IEEE
13 years 5 months ago
Multi-view structure computation without explicitly estimating motion
Most existing structure-from-motion methods follow a common two-step scheme, where relative camera motions are estimated in the first step and 3D structure is computed afterward ...
Hongdong Li