SOFSEM 2004: Theory and Practice of Computer Science 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004

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.

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 Adaptationin 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.