SOFSEM 2004 Schedule

  Saturday January 24, 2004 Sunday January 25, 2004 Monday January 26, 2004 Tuesday January 27, 2004 Wednesday January 28, 2004 Thursday January 29, 2004 Friday January 30, 2004
7.00-8.30   BREAKFAST
8.30-9.00 Hendrik Jaap van den Herik
and

H. H. L. M. Donkers:
"Games, Theory and Applications"
106 136 92 47 Vijay Kumar:
"Integration, Diffussion and Merging in Information Management Discipline"
Natasa Milic-Frayling:
"Web Challenges: Supporting Users in Search and Navigation"
Peter Lockemann:
"Flexibility Through Multi-Agent Systems: Advancement or Disappointment?"
Departure
9.00-9.30 140 145 120 88
9.30-10.00 101 59 86 74
10.00-10.30 COFFEE BREAK
Track TF WEB CT DB  TF  WEB TF  
10.30-11.00 Keith Jeffery:
"Database Research Issues in a WWW and GRIDs World"
21 52 104 80 115 20 77 Dimitris Plexousakis:
"Querying and Viewing the Semantic Web: an RDF-Based Perspective"
11.00-11.30 22 38 30 160 64   54
11.30-12.00 29 133 155 79 32   165
12.00-13.30 Arrival LUNCH  
13.30-15.30 BREAK EXCURSION TRIP BREAK
15.30-16.00 Michael Schroeder and
Ralf Schweimeier:
"Rules and the Semantic Web"
58 91 105   37 48 40 Pavel Zezula,
Frederica Mandreoli,
Riccardo Martoglia:
"Tree Signatures and Unordered XML Pattern Matching"
16.00-16.30 16 67 98   PhD Forum:
16.30-17.00  43  76 158   24 114 26
17.00-17.30 COFFEE BREAK COFFEE BREAK
17.30-18.00 Danuta Rutkowska:
"Knowledge Aquisition and Inference in the Framework of Soft Computing and Computing with Words"
CACIO 128 Peter Sanders:
"Algorithms for Scalable Storage Servers"
18.00-18.30 72
18.30-19:00   Microsoft
19.00-19.15 DINNER   DINNER DINNER  
19.15 Academy of Sciences
Bolzano Medal
Awarding to
Jozef Gruska
Barbecue DINNER
Jozef Gruska:
Dinner Speach
WELCOME PARTY
20.00- 30-th Anniversary of SOFSEM   ANTISOFSEM 2004
Sebastian Wernicke, Jochen Alber, Jens Gramm, Jiong Guo, and Rolf Niedermeier:
"Avoiding Forbidden Submatrices by Row Deletions"
Bernadette Charron-Bost and Fabrice Le Fessant:
"Validity Conditions in Agreement Problems and Time Complexity"
Josep Silva, J. Guadalupe Ramos and Germán Vidal:
"An Embedded Language Approach to Router Specification in Curry"
Kohtaro Tadaki, Tomoyuki Yamakami, and Jack C.H. Lin: "Theory of One Tape Linear Time Turing Machines"
Daniel Sawitzki:
"Implicit Flow Maximization by Iterative Squaring"
Dirk Bongartz:
"Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints"
Michael Forster, Christian Bachmaier "Clustered Level Planarity"
Aija Berzina, Andrej Dubrovsky, Rusins Freivalds, Lelde Lace, Oksana Scegulnaja:
"Quantum query complexity for some graph problems"
Rusins Freivalds, Marats Golovkins and Arnolds Kikusts:
"On the Properties of Probabilistic Reversible Automata"
George Boukeas, Constantinos Halatsis, Vassilis Zissimopoulos, Panagiotis Stamatopoulos:
"Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances"
Kayhan Erciyes:
"A Cluster Based Semi-distributed Routing Protocol For Mobile Networks"
K. Subramani, L. Kovalchick, D. Desovski:
"Contraction versus Relaxation:
The case for greedy approaches to the Negative Cost cycle detection problem"
Christian Bachmaier, Franz. J. Brandenburg, Michael Forster:
"Track Planarity Testing and Embedding"
Ning Chen, Jie Meng, Hong Zhu:
"Approximation for Dominating Set Problem with Measure Functions"
Slawomir Leszczynski:
"When small number of alternations is not enough"
Hiroshi Umeo, Shunsuke Akiguchi and Masashi Maeda:
"A New Design of Optimum-time Firing Squad Synchronization Algorithm for Rectangular Arrays"
Haiming Chen and Yunmei Dong:
"Incorporating Static Type-Checking into Functions on Context-free Languages"
Dominique de Werra, Marc Demange, Jérôme Monnot and Vangelis Th. Paschos:
"The hypocoloring problem:
complexity and approximability results when chromatic number is small"
Won-Sung Sohn:
"Annotation Repositioning Methods in the XML Documents:
Context-based Approach"
Ravindra G, Balakrishnan N, Ramakrishnan K R:
"Multi-Document Automatic Text Summarization Using Entropy Estimates"
Marcel Jirina and Marcel Jirina, jr.:
"Features of Neighbors Spaces"
Tadeusz Pankowski:
"Processing XPath expressions in relational databases"
Luis Irun-Briz, Francesc D. Munoz-Escoi and Josep M. Bernabeu-Auban:
"A Hybrid Approach to Manage Replication in Transactional Distributed Systems."
B. Bebel, Tadeusz Morzy, Robert Wrembel:
"Querying a Multiversion Data Warehouse"
Andrzej Jod³owski, Jacek P³odzieñ, Ewa Stemposz, Kazimierz Subieta:
"Role-Specific Operators in the SBQL Query Language"
Woochun Jun:
"A Locking-based Concurrency Control Technique in Decision Supporting Environments"
Misook Bae and Buhyun Hwang:
"The Consistency Preserving Technique Based on the Replica Tree in the Partially Replicated Databases"
Jiøí Wiedermann:
"Building a Bridge Between Mirror Neurons and Theory of Embodied Cognition"
Ladislava Janku:
"Artificial Perception:
Auditory Decomposition of Mixtures of Environmental Sounds"
Lukas Sekanina:
"Evolving Constructors for Infinitely Growing Sorting Networks and Medians"
Matej Makula, Michal Cernansky and Lubica Benuskova:
"Approaches based on Markovian architectural bias in recurrent neural networks"
Michal Cernansky, Matej Makula and Lubica Benuskova:
"Processing Symbolic Sequences by Recurrent Neural Networks Trained by Kalman Filter Based Algorithms"
Fevzullah Temurtas, Rustu Gunturkun, Nejat Yumusak, Hasan Temurtas, Abdurrahman Unsal:
"An application of Elman’s Recurrent Neural Networks to Harmonic Detection"
Kazushi Ikeda and Tsutomu Aoishi:
"Learning Curves of Support Vector Machines with Soft Margins"
Youjip Won, Seungho Song, Injae Song:
"Which knobs to turn in compressing video? Cognitive Study of UserWhich knobs to turn in compressing video? Cognitive Study of User"
Vladimir Kvasnicka and Jiri Pospichal:
"Replicator theory of coevolution of Chomsky’s universal grammars and generative grammars"
Jan Smid, Marek Obitko, Vaclav Snasel:
"Communicating Agents and Property-Based Types versus Objects"
Min-Soo Jang, Seok-Joo Lee, Ho-Dong Lee, Yong-Guk Kim, Byungkyu Kim, Gwi Tae Park:
"Shape recognition of the embryo cell using deformable template for micromanipulation"
Maria Bielikova and Ivan Noris:
"A Model of Versioned Web Sites"
Martin Kavalec, Alexander Maedche, Vojtech Svatek:
"Discovery of lexical entries for non-taxonomic relations in ontology learning"
Won-Sung Sohn:
"Context-based Proofreading Interface in XML Documents"
Elijah Blessing.R, Rhymend Uthariaraj.V:
"Design of Secure Multicast Models for Mobile Services"
Sérgio Miguel Fernandes, João Cachopo, and António Rito Silva:
"Supporting evolution in workflow definition languages"
Miguel A. Sicilia Urbán, Elena García Barriocanal:
"Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts"
R. Aiello, G. Nota, G. Franco, M. P. Di Gregorio:
"Multi-agent based workflow evaluation"
Ozgur Koray SAHINGOZ, Nadia ERDOGAN:
"AGVENT:
AGENT BASED DISTRIBUTED EVENT SYSTEM"
DU Zeng-Kai, JU Jiu-Bin:
"Distributed Content-aware Request Distribution in Cluster-based Web Servers"
Alberto Mendez-Torreblanca and Aurelio Lopez-Lopez:
"An Ontology based Agent for Web Resource Pre-processing and Discovery"
Yu Wang, Feng Jin, Yunfa Hu:
"On The Mechanism and the Detecting Algorithm of Workflow Hang-up"
Dirk Draheim, Gerald Weber:
"Higher Order Server Pages"
Ning Chen, Hong Zhu:
"Fully Truthful Mechanisms"
Hazem M. El-Bakry:
"Fast Neural Networks For object detection"
Miroslav Køipaè:
"Efficient Data Sharing Within Database Clusters"
Jakub Güttner:
"An Object Database Over the Semantic Web"
David Antos, Jan Korenek:
"String Matching for IPv6 Routers"
Dániel Szegõ:
"Using Description Logics in Web Document Processing"
Mahdi Jalili-Kharaajoo:
"Improvement of the Performance of Neurofuzzy Predictors by Means of Emotional Learning"
Dušan Bernát:
"Synchronisation and Concurrency"
Roman Szarowski, Karel Muller:
"Building CORBA Clusters Using MIOP Protocol"