Real-Time Map Manipulation for Mobile Robot Navigation