Abstract: Embodiments of the invention provide systems and methods of generating a complete and accurate geometrically optimized environment. Stereo pair images depicting an environment are selected from a plurality of images to generate a Digital Surface Model (DSM). Characteristics of objects in the environment are determined and identified. The geometry of the objects may be determined and fit with polygons and textured facades. By determining the objects, the geometry, and the material from original satellite imagery and from a DSM created from the matching stereo pair point clouds, a complete and accurate geometrically optimized environment is created.

Abstract: The present invention relates to apparatus and method for translating computer programs in an application from an array source language--having attributes of APL--to a scalar target language. In particular, source language primitive functions--which can be used in different cases--are represented by archetypes having code that is selectable based on applicable case(s). In determining which case (or cases) applies, each program is re-structured into a sequence of simple source language expressions and a static analysis is performed. The static analysis, which includes a shape analysis of arrays in a program, provides information useful in determining cases for archetypes and for determining whether code generated for a particular simple expression may be beneficially merged with code generated for another simple expression.