Institution: | 1. Institute of Computer Science, Academy of Sciences of the Czech Republic Pod Vodárenskou vě?í 271/2, 182 07 Praha 8, Czech Republic, and Charles University in Prague, Faculty of Mathematics and Physics, Sokolovská 83, Prague 8, 186 75, Czech Republic;2. Institute of Computer Science, Academy of Sciences of the Czech Republic Pod Vodárenskou vě?í 271/2, 182 07 Praha 8, Czech Republic |