Sciweavers

3897 search results - page 323 / 780
» complexity 2010
Sort
View
ASM
2010
ASM
16 years 3 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
CVPR
2010
IEEE
1790views Computer Vision» more  CVPR 2010»
16 years 2 months ago
Data Driven Mean-Shift Belief Propagation For non-Gaussian MRFs
We introduce a novel data-driven mean-shift belief propagation (DDMSBP) method for non-Gaussian MRFs, which often arise in computer vision applications. With the aid of scale sp...
Minwoo Park, S. Kashyap, R. Collins, and Y. Liu
CVPR
2010
IEEE
16 years 2 months ago
Using cloud shadows to infer scene structure and camera calibration
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
Nathan Jacobs, Brian Bies, and Robert Pless
CVPR
2010
IEEE
16 years 2 months ago
Detecting and Parsing Architecture at City Scale from Range Data
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
Alexander Toshev, Philippos Mordohai, Ben Taskar
ICPR
2010
IEEE
16 years 1 months ago
Integrating a Discrete Motion Model into GMM Based Background Subtraction
GMM based algorithms have become the de facto standard for background subtraction in video sequences, mainly because of their ability to track multiple background distributions, w...
Christian Wolf, Jolion Jolion