Sofsem 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech ... Czech Republic, January 24-30, 2004: 2932 - Brossura

Sofsem (2004 Prague, Czech Republic); Emde Boas, P. Van

Brossura

ISBN 10: 3540207791 ISBN 13: 9783540207795

Casa editrice: Springer-Verlag New York Inc, 2004

Riassunto

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.

Su questo libro

Contenuti:

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.

Su questa edizione

• Editore: Springer-Verlag New York Inc
• Data di pubblicazione: 2004
• ISBN 10: 3540207791
• ISBN 13: 9783540207795
• Rilegatura: Copertina flessibile
• Numero di pagine: 404
• Redattore: Van Emde Boas Peter