Sciweavers

14 search results - page 1 / 3
» sfm 2010
Sort
View
83
Voted
SFM
2010
Springer
202views Formal Methods» more  SFM 2010»
15 years 4 months ago
Information Theory and Security: Quantitative Information Flow
Pasquale Malacaria, Jonathan Heusser
71
Voted
SFM
2010
Springer
162views Formal Methods» more  SFM 2010»
15 years 4 months ago
Performance and Security Tradeoff
Katinka Wolter, Philipp Reinecke
93
Voted
SFM
2010
Springer
231views Formal Methods» more  SFM 2010»
15 years 5 months ago
Probabilistic Semantics and Program Analysis
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
85
Voted
ECCV
2010
Springer
15 years 4 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...
83
Voted
CVPR
2010
IEEE
15 years 18 days 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