Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices

Chih-Sheng Chen, Min-Hsuan Fan, Chua-Huang Huang. Algebraic Specification and Program Synthesis for Computing Hilbert Space-Filling Curve Indices. In Hamid R. Arabnia, editor, Proceedings of the 2007 International Conference on Image Processing, Computer Vision, & Pattern Recognition, IPCV 2007, June 25-28, 2007, Las Vegas Nevada, USA. pages 256-262, CSREA Press, 2007.

Authors

Chih-Sheng Chen

This author has not been identified. Look up 'Chih-Sheng Chen' in Google

Min-Hsuan Fan

This author has not been identified. Look up 'Min-Hsuan Fan' in Google

Chua-Huang Huang

This author has not been identified. Look up 'Chua-Huang Huang' in Google