Experiments on the use of the ATMS to label features for object recognition

Experiments are reported on the use of an Assumption-based Truth Maintenance System (ATMS) [6] to establish a match between a 3-d model and a single 2-d image. We show that the ATMS improves the efficiency of the search for maximal combinations of consistently labelled features. A memory cost is incurred, associated with the recording system of the ATMS; this can be reduced by simple heuristics. Empirical evidence is presented quantifying the costs and benefits of the method.