8 research outputs found
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
Application of the linear feature detection system—LINDA to image segmentation from remotely sensed data
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