SOFSEM 2004 Photo-Documentation
|
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 |
8.30-9.00 |
|
Hendrik Jaap van den Herik: "Games, Theory and Applications" |
TF1 |
WEB1 |
CT1 |
DB1 |
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 |
9.30-10.00 |
10.30-11.00 |
Keith Jeffery: "Database Research Issues in a WWW and GRIDs World"
|
TF2 |
WEB2 |
CT2 |
DB2 |
TF4 |
TF5 |
Dimitris Plexousakis: "Querying and Viewing the Semantic Web: an RDF-Based Perspective"
|
11.00-11.30 |
11.30-12.00 |
13.30-15.30 |
Arrival & Outside |
Steering Committee |
|
Excursion to Ondrejov Observatory
|
Excursion to Prague
|
BREAK |
15.30-16.00 |
Michael Schroeder: "Rules and the Semantic Web"
|
TF3 |
WEB3 |
CT3 |
|
PhD Forum |
Pavel Zezula,
Frederica Mandreoli, Riccardo Martoglia: "Tree Signatures and Unordered XML Pattern Matching"
|
16.00-16.30 |
16.30-17.00 |
17.00-17.30 |
Outside, Nature & ...
|
COFFEE BREAK |
|
17.30-18.00 |
Danuta Rutkowska: "Knowledge Aquisition and Inference in the Framework of Soft Computing and Computing with Words"
|
CACIO
|
TF6 |
Peter Sanders: "Algorithms for Scalable Storage Servers" |
18:00-18:30 |
18:30-19:00 |
|
Microsoft |
19.15 |
Academy of Sciences Bolzano Medal Awarding to Jozef Gruska
|
DINNER
|
DINNER
|
Barbecue
|
DINNER |
WELCOME PARTY & Buffet Dinner
|
20.00- |
30-th Anniversary of SOFSEM |
Evening |
ANTISOFSEM 2004 |
Late |
Late Evening |
Late Evening |
Late Evening
|
|
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 Elmans 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 Chomskys 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"
Duan Bernát:
"Synchronisation and Concurrency"
Roman Szarowski, Karel Muller:
"Building CORBA Clusters Using MIOP Protocol"