Universidade Federal de Santa Catarina
Florianópolis, Santa Catarina, Brazil
Department of Informatics and Statistics