Affiliation: | (1) Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University in Prague, Karlovo náměstí 13, Praha 2, 12135, Czech Republic;(2) School of Informatics, University of Manchester, PO Box 88, M60 1QD Manchester, UK |