• Aucun résultat trouvé

First Pages

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "First Pages"

Copied!
5
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Charles University in Prague, MFF, Department of Software Engineering Czech Technical University in Prague, FEE, Dept. of Computer Science & Eng.

VˇSB–TU Ostrava, FEECS, Department of Computer Science Czech Society for Cybernetics and Informatics

Proceedings of the Dateso 2007 Workshop Databases, Texts

Specifications, and Objects

2007

http://www.cs.vsb.cz/dateso/2007/

http://www.ceur-ws.org/Vol-235/

Sc.

Group

AMPHORA RESEARCH GROUP

A R G

Amphor

April 18 – 20, 2007

Desn´ a – ˇ Cern´ a ˇ R´ıˇ cka

(2)

DATESO 2007

c J. Pokorn´y, V. Sn´aˇsel, K. Richta, editors

This work is subject to copyright. All rights reserved. Reproduction or publication of this material, even partial, is allowed only with the editors’ permission.

Technical editor:

Pavel Moravec,[email protected] VˇSB – Technical University of Ostrava

Faculty of Electrical Engineering and Computer Science Department of Computer Science

Page count: 147 Publication: 196th Impression: 150 Edition: 1st First published: 2007

This proceedings was typeset by PDFLATEX.

Cover design by Pavel Moravec ([email protected]) and Tom´aˇs Skopal.

Printed and bound in Ostrava, Czech Republic by TiskServis Jiˇr´ı Pustina.

Published by MATFYZPRESS publishing house of Faculty of Mathematics and Physics Charles University, Ke Karlovu 3, 121 16 Praha 2, Czech Republic as its 196th publi- cation.

(3)

Preface

DATESO 2007, the international workshop on current trends on Databases, In- formation Retrieval, Algebraic Specification and Object Oriented Programming, was held on April 18 – 20, 2007 in Desn´a – ˇCern´a ˇR´ıˇcka. This was the 7th an- nual workshop organized by VˇSB-Technical University Ostrava, Department of Computer Science, FEL ˇCVUT Praha, Department of Computer Science and Engineering and MFF UK Praha, Department of Software Engineering. The DATESO aims for strengthening the connection between this various areas of informatics. The proceedings of DATESO 2007 are also available at DATESO Web sitehttp://www.cs.vsb.cz/dateso/2007/

http://www.ceur-ws.org/Vol-235/.

The Program Committee selected 13 papers (11 full papers and 2 posters) from 23 submissions, based on two independent reviews.

We wish to express our sincere thanks to all the authors who submit- ted papers, the members of the Program Committee, who reviewed them on the basis of originality, technical quality, and presentation. We are also thankful to the Organizing Committee and Amphora Research Group (ARG, http://www.cs.vsb.cz/arg/) for preparation of workshop and its proceedings.

Special thanks belong to Czech Society for Cybernetics and Informatics for its support of publishing this issue.

March, 2007 J. Pokorn´y, V. Sn´aˇsel, K. Richta (Eds.)

(4)

Program Committee

Jaroslav Pokorn´y (chair) Charles University, Prague

V´aclav Sn´aˇsel VˇSB-Technical University of Ostrava, Ostrava Karel Richta Czech Technical University, Prague

Vojtˇech Sv´atek University of Economics, Prague Peter Vojt´aˇs Charles University, Prague Tom´aˇs Skopal Charles University, Prague

Organizing Committee

Pavel Moravec VˇSB-Technical University of Ostrava David Hoksza Charles University, Prague

(5)

Table of Contents

Full Papers

Syllable-Based Burrows-Wheeler Transform . . . 1 Jan L´ansk´y, Katsiaryna Chernik, Zuzana Vlˇckov´a

Updating Typed XML Documents Using a Functional Data Model . . . 11 Pavel Loupal

Genetic Algorithms in Syllable-Based Text Compression . . . 21 Tom´aˇs Kuthan, Jan L´ansk´y

Using XSEM for Modeling XML Interfaces of Services in SOA. . . 35 Martin Neˇcask´y

A Modular XQuery Implementation. . . 47 Jan Vran´y, Jan ˇZ´ak

A Content-Oriented Data Model for Semistructured Data . . . 55 Tom´aˇs Novotn´y

Index-Based Approach to Similarity Search in Protein and Nucleotide

Databases. . . 67 David Hoksza, Tom´aˇs Skopal

Using BMH Algorithm to Solve Subset of XPath Queries. . . 81 David Toth

Shape Extraction Framework for Similarity Search in Image Databases . . 89 Jan Kl´ıma, Tom´aˇs Skopal

Inductive Models of User Preferences for Semantic Web. . . 103 Alan Eckhardt

Improvement of Text Compression Parameters Using Cluster Analysis . . . 115 Jiˇr´ı Dvorsk´y, Jan Martinoviˇc

Posters

Work with Knowledge on the Internet – Local Search. . . 127 Anton´ın Pavl´ıˇcek, Josef Muknˇsn´abl

The Use of Ontologies in Wrapper Induction . . . 132 Marek Nekvasil

Author Index

. . . 136

Références

Télécharger maintenant ( PDF - 5 Page - 447.21 KB )

Documents relatifs

On Bunched Typing Peter O’Hearn Department of Computer Science Queen Mary, University of London

The reading for the affine variant, which admits Weakening for the multiplicative combination “,”, is obtained by changing the interpretation of the additive function type to say

First Pages

This was the 8 th an- nual workshop organized by Vˇ SB-Technical University Ostrava, Department of Computer Science, FEL ˇ CVUT Praha, Department of Computer Science and Engineering

First Pages

This was the 6 th an- nual workshop organized by Vˇ SB-Technical University Ostrava, Department of Computer Science, FEL ˇ CVUT Praha, Department of Computer Science and Engineering

Department Of Computer Science Gulbarga University Gulbarga

 There are chances of Android may become the widely used operating system in world as it has found its application in many. appliances such as washing machine, microwave

IN ENGINEERING AND COMPUTER SCIENCE

Legendre sequences (Polyphase Legendre sequences), L-sequences (PL-sequences) for short, and modified Jacobi sequences (modifies polyphase Jacobi sequences),

E

In Chapter 3, we will describe our incremental distance computation al- gorithm which utilizes the concept of Voronoi regions and the properties of convex polyhedra to perform

Department of Computer Science Stanford University

(Note, though, that the number of training patterns seen before this maximum number of mistakes is made might be much greater.) This theoretical (and very impractical!) result (due

EncyclopEdia of computEr sciEncE and tEchnology

Whenever a new applica- tion such as a communications controller (see embedded system ) was developed, it typically had its own special- ized programming language.