SOFSEM 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings

This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Mer?n, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies. Content: Front Matter....Pages - Games, Theory and Applications....Pages 1-8 Database Research Issues in a WWW and GRIDs World....Pages 9-21 Integration, Diffusion, and Merging in Information Management Discipline....Pages 22-40 Flexibility through Multiagent Systems: Solution or Illusion?....Pages 41-56 World Wide Web Challenges: Supporting Users in Search and Navigation....Pages 57-59 Querying and Viewing the Semantic Web: An RDF-Based Perspective....Pages 60-61 Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems....Pages 62-81 Algorithms for Scalable Storage Servers....Pages 82-101 Fuzzy Unification and Argumentation for Well-Founded Semantics....Pages 102-121 Tree Signatures and Unordered XML Pattern Matching....Pages 122-139 Quantum Query Complexity for Some Graph Problems....Pages 140-150 A Model of Versioned Web Sites....Pages 151-162 Design of Secure Multicast Models for Mobile Services....Pages 163-173 Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints....Pages 174-183 Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances....Pages 184-195 Validity Conditions in Agreement Problems and Time Complexity....Pages 196-207 Supporting Evolution in Workflow Definition Languages....Pages 208-217 Clustered Level Planarity....Pages 218-228 Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds – Combining Information Theoretical and Supervised Pattern Recognition Approaches....Pages 229-240 Features of Neighbors Spaces....Pages 241-248 Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning....Pages 249-256 Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks....Pages 257-264 Processing XPath Expressions in Relational Databases....Pages 265-276 An Embedded Language Approach to Router Specification in Curry....Pages 277-288 Multi-document Automatic Text Summarization Using Entropy Estimates....Pages 289-300 Implicit Flow Maximization by Iterative Squaring....Pages 301-313 Evolving Constructors for Infinitely Growing Sorting Networks and Medians....Pages 314-323 Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts....Pages 324-334 Theory of One Tape Linear Time Turing Machines....Pages 335-348 Avoiding Forbidden Submatrices by Row Deletions....Pages 349-360 Building a Bridge between Mirror Neurons and Theory of Embodied Cognition....Pages 361-372 Fully Truthful Mechanisms....Pages 373-384 Back Matter....Pages - The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24–30, 2004, ́ in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapsk ́ap? rehrada (“Slapy Dam”) in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science – this year illustrated by the selection of the following 4 tracks: – Computer Science Theory (Track Chair: Peter Van Emde Boas) – Database Technologies (Track Chair: Jaroslav Pokorny) ́ – Cognitive Technologies (Track Chair: Peter Sin? c ́ ak) ? – Web Technologies (Track Chair: Julius ́ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24-30, 2004, þ in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapskþap? rehrada ("Slapy Dam") in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science - this year illustrated by the selection of the following 4 tracks: - Computer Science Theory (Track Chair: Peter Van Emde Boas) - Database Technologies (Track Chair: Jaroslav Pokorny) þ - Cognitive Technologies (Track Chair: Peter Sin? cþ ak)? - Web Technologies (Track Chair: Julius þ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science