SOFSEM 2004: Theory and Practice 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.

Includes supplementary material: sn.pub/extras

Inhalt
Invited Talks.- Games, Theory and Applications.- Database Research Issues in a WWW and GRIDs World.- Integration, Diffusion, and Merging in Information Management Discipline.- Flexibility through Multiagent Systems: Solution or Illusion?.- World Wide Web Challenges: Supporting Users in Search and Navigation.- Querying and Viewing the Semantic Web: An RDF-Based Perspective.- Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems.- Algorithms for Scalable Storage Servers.- Fuzzy Unification and Argumentation for Well-Founded Semantics.- Tree Signatures and Unordered XML Pattern Matching.- Regular Papers.- Quantum Query Complexity for Some Graph Problems.- A Model of Versioned Web Sites.- Design of Secure Multicast Models for Mobile Services.- Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints.- Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances.- Validity Conditions in Agreement Problems and Time Complexity.- Supporting Evolution in Workflow Definition Languages.- Clustered Level Planarity.- Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds Combining Information Theoretical and Supervised Pattern Recognition Approaches.- Features of Neighbors Spaces.- Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning.- Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks.- Processing XPath Expressions in Relational Databases.- An Embedded Language Approach to Router Specification in Curry.- Multi-document Automatic Text Summarization Using Entropy Estimates.- Implicit Flow Maximization by Iterative Squaring.- Evolving Constructors for Infinitely Growing Sorting Networks and Medians.- Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts.- Theory of One Tape Linear Time Turing Machines.- Avoiding Forbidden Submatrices by Row Deletions.- Building a Bridge between Mirror Neurons and Theory of Embodied Cognition.- The Best Student Paper.- Fully Truthful Mechanisms.