30th Anniversary SOFSEM 2004        

• Computer Science Theory
  • Invited talks:
    • Hendrik Jaap van den Herik and H. H. L. M. Donkers :   "Games, Theory and Applications"
    • Peter Sanders :  "Algorithms for Scalable Storage Servers"
      
      
  •  Accepted papers
     Accepted papers

    Avoiding Forbidden Submatrices by Row Deletions	Sebastian Wernicke, Jochen Alber, Jens Gramm, Jiong Guo, and Rolf Niedermeier
    Validity Conditions in Agreement Problems and Time Complexity	Bernadette Charron-Bost and Fabrice Le Fessant
    An Embedded Language Approach to Router Specification in Curry	Josep Silva, J. Guadalupe Ramos and Germán Vidal
    Theory of One Tape Linear Time Turing Machines	Kohtaro Tadaki, Tomoyuki Yamakami, and Jack C.H. Lin
    Implicit Flow Maximization by Iterative Squaring	Daniel Sawitzki
    Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints	Dirk Bongartz
    Clustered Level Planarity	Michael Forster, Christian Bachmaier
    Quantum query complexity for some graph problems	Aija Berzina, Andrej Dubrovsky, Rusins Freivalds, Lelde Lace, Oksana Scegulnaja
    Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances	George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos
    On the Properties of Probabilistic Reversible Automata	Rusins Freivalds, Marats Golovkins and Arnolds Kikusts
    A Comprehensive Empirical Analysis of Greedy Strategies for Detecting Negative Cost Cycles in Networks	K. Subramani, L. Kovalchick, D. Desovski
    Track Planarity Testing and Embedding	Christian Bachmaier, Franz. J. Brandenburg, Michael Forster
    Approximation for Dominating Set Problem with Measure Functions	Ning Chen, Jie Meng, Hong Zhu
    When Small Number of Alternations is Not Enough	Slawomir Leszczynski
    A New Design of Optimum-time Firing Squad Synchronization Algorithm for Rectangular Arrays	Hiroshi Umeo, Shunsuke Akiguchi and Masashi Maeda
    Incorporating Static Type-Checking into Functions Defined on Context-Free Languages	Haiming Chen and Yunmei Dong
    The hypocoloring problem: complexity and approximability results when chromatic number is small	Dominique de Werra, Marc Demange, Jérôme Monnot and Vangelis Th. Paschos

    
    
• Database Technologies Track
  • Invited talks:
    • Keith Jeffery : " Database Research Issues in a WWW and GRIDs World "
    • Vijay Kumar : "Integration, Diffussion and Merging in Information Management Discipline"
    • Pavel Zezula, Federica Mandreoli and Riccardo Martoglia : "Tree Signatures and Unordered XML Pattern Matching"
      
      
  •  Accepted papers
     Accepted papers

    Annotation Repositioning Methods in the XML Documents: Context-based Approach	Won-Sung Sohn
    Multi-Document Automatic Text Summarization Using Entropy Estimates	Ravindra G, Balakrishnan N, Ramakrishnan K R
    Features of Neighbors Spaces	Marcel Jirina and Marcel Jirina, jr.
    Processing XPath expressions in relational databases	Tadeusz Pankowski
    A Hybrid Approach to Manage Replication in Transactional Distributed Systems.	Luis Irun-Briz, Francesc D. Munoz-Escoi and Josep M. Bernabeu-Auban
    Querying a Multiversion Data Warehouse	B. Bebel, Tadeusz Morzy, Robert Wrembel
    Role-Specific Operators in the SBQL Query Language	Andrzej Jodłowski, Jacek Płodzień, Ewa Stemposz, Kazimierz Subieta
    The Consistency Preserving Technique Based on the Replica Tree in the Partially Replicated Databases	Misook Bae and Buhyun Hwang

    
    
• Cognitive Technologies
  • Invited talk:
    • Danuta Rutkowska: "Knowledge aquisition and inference in the framework of soft computing and computing with words"
      
      
  •  Accepted papers
     Accepted papers

    Building a Bridge Between Mirror Neurons and Theory of Embodied Cognition	Jiří Wiedermann
    Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds	Ladislava Janku
    Evolving Constructors for Infinitely Growing Sorting Networks and Medians	Lukas Sekanina
    Approaches based on Markovian architectural bias in recurrent neural networks	Matej Makula, Michal Cernansky and Lubica Benuskova
    Processing Symbolic Sequences by Recurrent Neural Networks Trained by Kalman Filter Based Algorithms	Michal Cernansky, Matej Makula and Lubica Benuskova
    An application of Elman’s Recurrent Neural Networks to Harmonic Detection	Fevzullah Temurtas, Rustu Gunturkun, Nejat Yumusak, Hasan Temurtas, Abdurrahman Unsal
    Learning Curves of Support Vector Machines with Soft Margins	Kazushi Ikeda and Tsutomu Aoishi
    Replicator Theory of Coevolution of Chomsky's Universal Grammars and Generative Grammars	Vladimir Kvasnicka and Jiri Pospichal
    Communicating Agents and Property-Based Types versus Objects	Jan Smid, Marek Obitko, Vaclav Snasel

    
    
• Web Technologies Track
  • Invited talks:
    • Peter Lockemann : "Flexibility through multi-agent systems: advancement or disappointment?"
    • Natasa Milic-Frayling: "Web Challenges: Supporting Users in Search and Navigation"
    • Dimitris Plexousakis:   "Querying and Viewing the Semantic Web: an RDF-Based Perspective"
    • Michael Schroeder and Ralf Schweimeier:  "Rules and the Semantic Web"
      
      
  •  Accepted papers
     Accepted papers

    A Model of Versioned Web Sites	Maria Bielikova and Ivan Noris
    Discovery of lexical entries for non-taxonomic relations in ontology learning	Martin Kavalec, Alexander Maedche, Vojtech Svatek
    Context-based Proofreading Interface in XML Documents	Won-Sung Sohn
    Design of Secure Multicast Models for Mobile Services	Elijah Blessing.R, Rhymend Uthariaraj.V
    Supporting evolution in workflow definition languages	Sérgio Miguel Fernandes, Joăo Cachopo, and António Rito Silva
    Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts	Miguel A. Sicilia Urbán, Elena García Barriocanal
    Multi-agent based workflow evaluation	R. Aiello, G. Nota, G. Franco, M. P. Di Gregorio
    Agvent: Agent Based Distributed Event System	Ozgur Koray SAHINGOZ, Nadia ERDOGAN
    Decentralized Content-aware Dispatching Algorithms for Web Clusters	DU Zeng-Kai, JU Jiu-Bin
    An Ontology based Agent for Web Resource Pre-processing and Discovery	Alberto Mendez-Torreblanca and Aurelio Lopez-Lopez
    On the Mechanism and the Detecting Algorithm of Workflow Hang-up	Yu Wang, Feng Jin, Yunfa Hu
    Higher Order Server Pages	Dirk Draheim, Gerald Weber