Preface
The 10th workshopITAT’10 (Information Technology – Applications and Theory, http://itat.ics.upjs.sk/) was held in Hotel Smrekovica (http://www.vzsmrekovica.sk/), located 1428 meters above the sea level in Vel’ká Fatra, Slovakia, September 21–25, 2010.
ITAT is a place of meeting for scientists and experts working in computer science mainly from the Czech Republic and Slovakia. The emphasis is on exchange of information between the participants and infor- mal communication, a big space is devoted to discussions. Workshop thus offers a possibility for young researchers and students, mainly PhD students, to present their work and to discuss with more experienced colleagues. The conference languages are Slovak and Czech, proceedings papers are in English. The place is traditionally chosen at least 1000 meters above the sea level in a location not directly accessible by public transport.
ITAT is a broad scope conference that ranges from foundations of computer science, security, through data and semantic web to software engineering.
Each from the 47 submissions was refereed by at least two independent referees. The proceedings consists of two invited lectures and 9 original scientific papers.
ITAT’10 was organized by
Institute of Informatics of University of P.J. Šafárik in Košice Faculty of Mathematics and Physics, Charles University in Prague
Institute of Computer Science of Academy of Sciences of the Czech Republic, Prague Slovak Society for Artificial Intelligence.
We would like to thank invited speakers Mária Bieliková and Peter Vojtáš, the authors of presented papers, all PC members and reviewers for keeping high scientific level of ITAT as well as organizers led by Peter Gurský for organizing this jubilee event.
Special thanks go to our sponsors:
Profinit (http://www.profinit.eu/)
Dana Pardubská
Program Committee
Dana Pardubská, (Chair),Comenius University, Bratislava, SK Radim Baˇca,Technical University VŠB, Ostrava, CZ
David Bednárek,Charles University, Prague, CZ
Mária Bieliková,Slovak University of Technology, Bratislava, SK Jiˇrí Dokulil,Charles University, Prague, CZ
Jana Dvoˇráková,Charles University, Prague, CZ Viliam Geffert,University of P.J. Šafárik, Košice, SK Peter Gurský,University of P.J. Šafárik, Košice, SK Tomáš Holan,Charles University, Prague, CZ Tomáš Horváth,University of P.J. Šafárik, Košice, SK
Daniela Chudá,Institute of Informatics and Software Engineering, Bratislava, SK Jozef Jirásek,University of P.J. Šafárik, Košice, SK
Jana Katreniaková,Comenius University, Bratislava, SK Rastislav Královiˇc,Comenius University, Bratislava, SK Michal Krátký,Technical University VŠB, Ostrava, CZ
Vˇera K˚urková,Institute of Computer Science, AS CR, Prague, CZ Markéta Lopatková,Charles University, Prague, CZ
Roman Neruda,Institute of Computer Science, AS CR, Prague, CZ Richard Ostertág,Comenius University, Bratislava, SK
Tomáš Plachetka,Comenius University, Bratislava, SK Martin Plátek,Charles University, Prague, CZ Jaroslav Pokorný,Charles University, Prague, CZ Karel Richta,Charles University, Prague, CZ
Gabriel Semanišin,University of P.J. Šafárik, Košice, SK Václav Snášel,Technical University VŠB, Ostrava, CZ Vojtˇech Svátek,University of Economics, Prague, CZ Jiˇrí Šíma,Institute of Computer Science, AS CR, Prague, CZ Roman Špánek,Institute of Computer Science, AS CR, Prague, CZ Július Štuller,Institute of Computer Science, AS CR, Prague, CZ
Ondrej Šuch,Inštitút matematiky a informatiky, SAV, Banská Bystrica, SK Roman Vaculín,Institute of Computer Science, AS CR, Prague, CZ Peter Vojtáš,Charles University, Prague, CZ
Jakub Yaghob,Charles University, Prague, CZ Filip Zavoral,Charles University, Prague, CZ
Organizing Committee
Peter Gurský, (chair),University of P.J. Šafárik, Košice, SK Hanka Bílková,Institute of Computer Science, AS CR, Prague, CZ Tomáš Horváth ,University of P.J. Šafárik, Košice, SK
Róbert Novotný,University of P.J. Šafárik, Košice, SK Martin Šumák,University of P.J. Šafárik, Košice, SK Veronika Vaneková,University of P.J. Šafárik, Košice, SK
Organization
ITAT 2010 – Information Technologies – Applications and Theory was organized by University of P.J. Šafárik, Košice, SK
Institute of Computer Science, AS CR, Prague, CZ
Faculty of Mathematics and Physics, Charles University, Prague, CZ Slovak Society for Artificial Intelligence, SK
Table of Contents
Invited papers
How much semantics on the “wild” Web is enough for machines to help us? . . . 1 M. Bieliková
Information technologies - synergy of theory and application . . . 7 P. Vojtáš
Scientific papers
Automatic source code reduction . . . 9 J. Diviš, O. Bojar
Two ways of using artificial neural networks in knowledge discovery from chemical materials data . . . 17 M. Holeˇna
Towards a formal model of natural language description based on restarting automata with parallelDR-structures . . 25 M. Lopatková, F. Mráz, M. Plátek
On the denotational semantics of XML-Lambda . . . 33 P. Loupal, K. Richta
Clairvoyance versus cooperation in scheduling of independent tasks . . . 39 T. Plachetka
Reversal of regular languages and state complexity . . . 47 J. Šebej
Implementation of a data layer for the visualization of component-based applications . . . 55 J. Šnajberk, P. Brada
Estimating effective DNA database size via compression . . . 63 M. Višˇnovská, M. Nánási, T. Vinaˇr, B. Brejová
Approximate throughput maximization in scheduling of parallel jobs on hypercubes . . . 71 O. Zajíˇcek