A symbolic approach to polyhedral scene analysis by parametric calotte propagation