30th Anniversary
SOFSEM 2004 
30th Anniversary
SOFSEM 2004 
Program Committee has received 137 papers from 146 sumitted abstracts.
On October 3, 2003 the SOFSEM 2004 Program Committee selected:
| Title | Authors |
| Computer Science Theory | |
| 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 | |
| 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 | |
| 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 | |
| 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 |
| Student Research Forum | |
| Fully Truthful Mechanisms | Ning Chen, Hong Zhu |
| Fast Neural Networks for Object/Face Detection | H.M. El-Bakry, H. Stoyan |
| Efficient Data Sharing within Database Clusters | Miroslav Køipaè |
| An Object Database Over the Semantic Web | Jakub Güttner |
| String Matching for IPv6 Routers | David Antos, Jan Korenek |
| Using Description Logics in Web Document Processing | Dániel Szegõ |
| Synchronisation and Concurrency | Dušan Bernát |
| Building CORBA Clusters Using MIOP Protocol | Roman Szarowski, Karel Muller |
webmaster
This page was modified:
