An Automatic 3D City Model : A Bayesian Approach Using Satellite Images | IEEE Conference Publication | IEEE Xplore