The Community for Technology Leaders
Green Image
<p>We present an encoding algorithm for lattices that significantly reduces space requirements while allowing fast computations of least upper bounds and greatest lower bounds of pairs of elements. We analyze the algorithms for encoding, LUB and GLB computations, and prove their correctness. Empirical experiments reveal that our method is significantly more space efficient than the transitive closure method, and the saving becomes increasingly more important as the size of the lattice increases.</p>
encoding; inheritance; inference mechanisms; space-and-time-efficient coding algorithm; lattice computations; encoding algorithm; space requirements
D.D. Ganguly, C.K. Mohan, S. Ranka, "A Space-and-Time-Efficient Coding Algorithm for Lattice Computations", IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 819-829, October 1994, doi:10.1109/69.317709
110 ms
(Ver 3.3 (11022016))