References

• • [34] J. Woodcock and J. Davies, “Using Z: Specification, refinement and proof,” Prent...
• • [35] J. A. Anderson, “Automata theory with modern applica-tions,” Cambridge Universit...
• • [36] L. L. Claudio, et al., “Applications of finite automata representing large vocab...
• • [37] Y. V. Moshe, “Nontraditional applications of automata theory,” Theoretical Aspec...
• • [38] D. I. A. Cohen, “Introduction to computer theory,” 2nd Edition, John Wiley & Son...
• • [39] N. A. Zafar, A. Hussain, and A. Ali, “Formal proof of equivalence in endomorphis...
• • [40] D. P. Tuan, “Computing with words in formal methods,” University of Canberra, Au...
• • [41] J. P. Bowen, “Formal specification and documentation using Z: A case study appro...
• • [42] S. A. Vilkomir and J. P. Bowen, “Formalization of soft-ware testing criterion,” ...
• • [43] C. T. Chou, “A formal theory of undirected graphs in higher order logic,” in Pro...
• • [1] X. Tang and W. A. Pearlman, “Three-dimensional wave-let-based compression of hype...
• • [2] J. E. Fowler and J. T. Rucker, “3D wavelet-based com-pression of hyperspectral im...
• • [3] B. Penna, T. Tillo, E. Magli, and G. Olmo, “Transform coding techniques for lossy...
• • [4] T. W. Fry and S. Hauck, “Hyperspectral image compres-sion on reconfigurable platf...
• • [5] X. Tang, S. Cho, and W. A. Pearlman, “3D set partition-ing coding methods in hype...
• • [6] X. Tang and W. A. Pearlman, “Lossy-to-lossless block- based compression of hypers...
• • [7] J. J. Wu, Z. S. Wu, and C. K. Wu, “Lossy to lossless compressions of hyperspectra...
• • [8] B. Penna, T. Tillo, E. Magli, and G. Olmo, “Embedded lossy-to-lossless compressio...
• • [9] J. Zhang, J. E. Fowler, and G. Z. Liu, “Lossy-to-lossless compression of hyperspe...
• • [10] S. T. Hsiang, “Highly scalable subband/wavelet image and video coding,” Ph.D dis...
• • [11] A. Islam and W. A. Pearlman, “An embedded and effi-cient low-complexity hierarch...
• • [12] Y. Hou and G. Z. Liu, “3D set partitioned embedded zero block coding algorithm f...
• • [13] A. R. Calderbank, I. Daubechies, W. Sweldens, and B. L. Yeo, “Wavelet transforms...
• • [14] M. D. Adams and F. Kossentini, “Reversible inte-ger-to-integer wavelet transform...
• • [15] Z. X. Xiong, X. L. Wu, S. Cheng, and J. P. Hua, “Lossy-to-lossless compression o...
• • [16] http://aviris.jpl.nasa.gov/html/aviris.overview.html.
• • [1] W. Zhang, X. Z. Fang, X. K. Yang, and Q. M. J. Wu, “Moving cast shadows detection...
• • [2] C. Benedek and T. Sziranyi, “Study on color space selec-tion for detecting cast s...
• • [3] T. Horprasert, D. Harwood, and L. S. Davis, “A statistical approach for real-time...
• • [4] I. Haritaoglu, D. Harwood, and L. S. Davis, “W4: real time surveillance of people...
• • [5] J. Heikkila and O. Silven, “A real-time system for moni-toring of cyclists and pe...
• • [6] R. Cucchiara, C. Grana, M. Piccardi, A. Prati, and S. Sirotti, “Improving shadow ...
• • [7] P. Spagnolo, T. D'Orazio, M. Leo, and A. Distante, “Moving object segmentation by...
• • [8] C. Wren, A. Azabayejani, T. Darrell, and A. Pentland, “Pfinder: Real-time trackin...
• • [9] C. Stauffer and W. E. L. Grimson, “Adaptive background mixture models for real-ti...
• • [10] Z. Zivkovic and F. van der Heijden, “Efficient adaptive density estimation per i...
• • [11] A. Elgammal, D. Harwood, and L. S. Davis, “Nonpara-metric model for background s...
• • [12] K. Kim, T. H. Chalidabhongse, D. Harwood, and L. Davis, “Real-time foreground-ba...
• • [13] J. Stander, R. Mech, and J. Ostermann, “Detection of moving cast shadows for obj...
• • [14] I. Mikic, P. C. Cosman, G. T. Kogut, and M. M. Trivedi, “Moving shadow and objec...