30th Anniversary SOFSEM 2004        
The Conference on Current Trends in Theory and Practice of Computer Science
January 24 - 30, 2004
Hotel VZ MERIN, Czech Republic
Documentaries new
Presentations
Photos
Videos
Venue
Venue, Photos
Contact Addresses
Program
SOFSEM Schedule
Scientific Program
Invited Talks
Tracks
Social Activities
Leisure Activities
Accepted Papers
Accepted Papers
Contributed Papers
In Springer LNCS
Springer LNCS Work-in-progress &
   Applications
Student Papers
Registration
General Information
Accommodation
Fees
Reply Form
Payments
Home
Home
Previous SOFSEMs
SOFSEM 02
SOFSEM 01
SOFSEM 00
SOFSEM 99
SOFSEM 98
SOFSEM 97
SOFSEM 96
SOFSEM 95
Sponsors

ercim
Microsoft
Deloitte&Touche
SOFTEC
CENTRUM
HP
Organizers
Organizers
Committees
Advisory Board
Steering Committee
Program Committee
Organizing Committee
SOFSEM 2004 Work-in-progress & Applications papers

Title Authors
Computer Science Theory
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
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
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
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

Valid CSS!

webmaster
This page was modified: