Network-based heuristics for constraint-satisfaction problems
Artificial Intelligence
The String-to-String Correction Problem
Journal of the ACM (JACM)
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Representing and Reasoning About Change in Geologic Interpretation
Representing and Reasoning About Change in Geologic Interpretation
Hi-index | 0.14 |
For a given set of n tuples, the binary consistency checking scheme generates a subset wherein no two elements intersect. The application of this scheme is illustrated by two problems in seismic horizon detection; seismic skeletonization and loop tying. After a brief introduction to seismic interpretation, these two examples are used to demonstrate how to cast an application problem into the formulism of the scheme. A comparison of this scheme to the dynamic programming approach to string matching due to S.Y. Lu (1982) is included.