Van Emde Boas / Pokorny / Bieliková 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
Erscheinungsjahr 2003
ISBN: 978-3-540-24618-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 385 Seiten, Web PDF

Reihe: Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Van Emde Boas, Peter

Pokorny, Jaroslav

Bieliková, Mária

Stuller, Julius

Inhaltsverzeichnis

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.