Abstract: Array, as a fundamental data structure, is widely used in programs. Automated reasoning about arrays needs to discover properties about ranges of elements at certain program points. Such ...
Abstract: The orthorectification accuracy for an extra-length linear array image is restricted by large distortions of the lens and the strong correlation of exterior orientation parameters (EOPs).
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback