SOFSEM 2001: Theory and Practice of Informatics: 28th Conference on Current Trends in Theory and Practice of Informatics Piešt’any, Slovak Republic, November 24 – December 1, 2001 Proceedings

Hamideh Afsarmanesh, Ersin Kaletas, Louis O. Hertzberger (auth.), Leszek Pacholski, Peter Ružička (eds.)3540429123, 9783540429128

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. This was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. Currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. The scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original – sults. The topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – Trends in Informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications The above directions were covered through 12 invited talks presented by pro- nent researchers. There were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. The conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).

---

Table of contents :
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences….Pages 1-9
Agreement Problems in Fault-Tolerant Distributed Systems….Pages 10-32
Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes….Pages 33-52
Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited….Pages 53-57
Recent Advances in Wavelength Routing….Pages 58-72
From Metacomputing to Grid Computing: Evolution or Revolution?….Pages 73-74
Knowledge-Based Control Systems….Pages 75-89
Beyond the Turing Limit: Evolving Interactive Systems….Pages 90-109
Distributed Computations by Autonomous Mobile Robots….Pages 110-115
Formal Verification Methods for Industrial Hardware Design….Pages 116-135
How Can Computer Science Contribute to Knowledge Discovery….Pages 136-151
On the Approximability of Interactive Knapsack Problems….Pages 152-159
Model Checking Communication Protocols….Pages 160-170
Pipelined Decomposable BSP Computers….Pages 171-180
Quantum versus Probabilistic One-Way Finite Automata with Counter….Pages 181-190
How to Employ Reverse Search in Distributed Single Source Shortest Paths….Pages 191-200
Multi-agent Systems as Concurrent Constraint Processes….Pages 201-210
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs….Pages 211-222
Approximative Learning of Regular Languages….Pages 223-232
Quantum Finite State Transducers….Pages 233-242
Lemmatizer for Document Information Retrieval Systems in JAVA….Pages 243-252
The Reconstruction of Polyominoes from Approximately Orthogonal Projections….Pages 253-260
Bounding Lamport’s Bakery Algorithm….Pages 261-270
Fast Independent Component Analysis in Kernel Feature Spaces….Pages 271-281
On Majority Voting Games in Trees….Pages 282-291
Time and Space Complexity of Reversible Pebbling….Pages 292-303
The HiQoS Rendering System….Pages 304-315
Two-Way Restarting Automata and J-Monotonicity….Pages 316-325
P-Hardness of Equivalence Testing on Finite-State Processes….Pages 326-335
Software Geography: Physical and Economic Aspects….Pages 336-345