TY - BOOK AU - Emde Boas,Peter AU - Pokorný,Jaroslav AU - Bieliková,Mária AU - Štuller,Július ED - SpringerLink (Online service) TI - 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 T2 - Lecture Notes in Computer Science, SN - 9783540246183 AV - QA75.5-76.95 U1 - 004.0151 23 PY - 2004/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer software KW - Logic design KW - Database management KW - Information systems KW - Artificial intelligence KW - Computer Science KW - Computation by Abstract Devices KW - Algorithm Analysis and Problem Complexity KW - Logics and Meanings of Programs KW - Database Management KW - Information Systems Applications (incl.Internet) KW - Artificial Intelligence (incl. Robotics) N1 - 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 UR - http://dx.doi.org/10.1007/b95046 ER -