Outline bibliography, and KWIC index on mechanical theorem proving and its applications

Bibliography and KWIC index on mechanical theorem proving and its application

Line Detection in Satellite Imagery

Three algorithms for line detection, the linear detector, the nonlinear detector, and the semilinear detector are examined. Experiments are conducted on detecting linear features in terrain on LANDSAT-1 images, and on detecting suburban roads on Skylab images

Towards Reliable Evaluation of Algorithms for Road Network Reconstruction from Aerial Images

Existing connectivity-oriented performance measures rank road delineation algorithms inconsistently, which makes it difficult to decide which one is best for a given application. We show that these inconsistencies stem from design flaws that make the metrics insensitive to whole classes of errors. This insensitivity is undesirable in metrics intended for capturing overall general quality of road reconstructions. In particular, the scores do not reflect the time needed for a human to fix the errors, because each one has to be fixed individually. To provide more reliable evaluation, we design three new metrics that are sensitive to all classes of errors. This sensitivity makes them more consistent even though they use very different approaches to comparing ground-truth and reconstructed road networks. We use both synthetic and real data to demonstrate this and advocate the use of these corrected metrics as a tool to gauge future progress