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.