"; ?>
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 Cluster Based Semi-distributed Routing Protocol For Mobile Networks | Kayhan Erciyes |
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 |
A Locking-based Concurrency Control Technique in Decision Supporting Environments | Woochun Jun |
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 Elmans 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 |
Which knobs to turn in compressing video? Cognitive Study of UserWhich knobs to turn in compressing video? Cognitive Study of User | Youjip Won, Seungho Song, Injae Song |
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 |
Shape recognition of the embryo cell using deformable template for micromanipulation | Min-Soo Jang, Seok-Joo Lee, Ho-Dong Lee, Yong-Guk Kim, Byungkyu Kim, Gwi Tae Park |
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õ |
Improvement of the Performance of Neurofuzzy Predictors by Means of Emotional Learning | Mahdi Jalili-Kharaajoo |
Synchronisation and Concurrency | Duan Bernát |
Building CORBA Clusters Using MIOP Protocol | Roman Szarowski, Karel Muller |