Department of Computer Science, University of Miami, Coral Gables, Miami, USA. dimitris@cs.miami.edu|Department of Computer Science, University of Miami, Coral Gables, Miami, USA. dimitris@cs.miami.edu