A Probabilistic City Model Generation for Application in Internet of Vehicles Technology | IEEE Conference Publication | IEEE Xplore