| Vol-414 © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

# ITAT 2008
Information Technologies - Applications and Theory

### Proceedings of the Conference on Theory and Practice of Information Technologies
ITAT 2008
Hrebienok, Slovakia, September 2008.

Edited by

### Peter Vojtáš

Organized by

Institute of computer science, Faculty of science, P. J. Šafárik university, Košice, Slovakia
Institute of Computer Science, Academy of Sciences of the Czech Republic
Faculty of Mathematics and Physics, Charles University in Prague, Czech republic
Slovak Artificial Intelligence Society

## Table of Contents

1. Extending Datalog to cover XQuery
   David Bednárek
2. Determining XSLT streamability using new hierarchical XSD model
   Jana Dvořáková, Filip Zavoral
3. Multiway blockwise in-place merging
   Viliam Geffert, Jozef Gajdoš
4. Searching all approximate covers and their distance using finite automata
   Ondřej Guth, Bořivoj Melichar, Miroslav Balík
5. Measures of quality of rulesets extracted from data
   Martin Holeňa
6. The coin flipping selector for selective encryption
   Richard Ostertág
7. On PCGS and FRR-automata
   Dana Pardubská, Martin Plátek, Friedrich Otto
8. Learning algorithms for small mobile robots: case study on maze exploration
   Stanislav Slušný, Roman Neruda, Petra Vidnerová

04-Nov-2008: submitted by Peter Vojtáš
04-Nov-2008: published on CEUR-WS.org