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.

Peter Vojtáš

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á