Localization of indoor robot based on particle filter with EKF proposal distribution | IEEE Conference Publication | IEEE Xplore