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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Emde Boas, Peter Van (Επιμελητής έκδοσης), Pokorný, Jaroslav (Επιμελητής έκδοσης), Bieliková, Mária (Επιμελητής έκδοσης), Štuller, Július (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 2932
• Θέματα: Computer science.; Computers.; Algorithms.; Computer logic.; Database management.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Database Management.; Information Systems Applications (incl. Internet).

 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.