SOFSEM 2004: Theory and Practice of Computer Science

Peter Van Emde Boas

ISBN 10: 3540207791 / ISBN 13: 9783540207795

Published by Springer, Springer Jan 2004, 2004

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.

Seller Inventory # 9783540207795

Bibliographic Details

• Title: SOFSEM 2004: Theory and Practice of Computer Science
• Publisher: Springer, Springer Jan 2004
• Publication Date: 2004
• Language: English
• ISBN 10: 3540207791
• ISBN 13: 9783540207795
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 22D millimeters 235 millimeters width by 155 millimeters height by 22 millimeters depth
• Weight: 610 grams

About this title

Synopsis

The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24-30, 2004, ´ in the Hotel VZ M? e? rin, located about 60 km south of Prague on the right shore of Slapsk´ap? rehrada ("Slapy Dam") in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science - this year illustrated by the selection of the following 4 tracks: - Computer Science Theory (Track Chair: Peter Van Emde Boas) - Database Technologies (Track Chair: Jaroslav Pokorny) ´ - Cognitive Technologies (Track Chair: Peter Sin? c´ ak) ? - Web Technologies (Track Chair: Julius ´ Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science.