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 : proceedings
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
2932 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, proceedings, Peter van Emde Boas, Jaroslav Pokorny, Maria Bielikova ... [et al.] (eds.), 2004, Berlin, Springer, 1 vol. (XIII-384 p.), Lecture notes in computer science, 3-540-20779-1 • SOFSEM 2004: Theory and Practice of Computer Science, Texte imprimé, 9783662199695 |
Inhaltsangabe:
- 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.