Image Formalization via Descriptive Image Algebras In Proceedings of the Third International Workshop on Image Mining Theory and Applications - IMTA, 19-28, 2010 , Angers, France