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 /

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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Emde Boas, Peter Van (Editor), Pokorný, Jaroslav (Editor), Bieliková, Mária (Editor), Štuller, Július (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:Lecture Notes in Computer Science, 2932
Subjects:
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).
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items