SOFSEM 2000: Theory and Practice of Informatics

1. Front Matter

   Pages I-XI

   PDF

2. Invited Talks

   1. Keynote Speaker

      1. Domain Engineering: A Software Engineering Discipline in Need of Research

         • Dines Bjørner

         Pages 1-17

   2. Trends in Algorithmics

      1. Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power

         • Jürg Nievergelt

         Pages 18-35

      2. The Incompressibility Method

         • Tao Jiang, Ming Li, Paul Vitányi

         Pages 36-53

      3. BioInformatics: Databases + Data Mining

         • Arno Siebes

         Pages 54-55

      4. Algorithms for Rational Agents

         • Amir Ronen

         Pages 56-70

      5. Simplified Witness Tree Arguments

         • Thomas Schickinger, Angelika Steger

         Pages 71-87

   3. Information Technologies in Practice

      1. Software Testing & Diagnostics: Theory & Practice

         • Vladimír Mařík, Luboš Král, Radek Mařík

         Pages 88-114

      2. Physical Design of CMOS Chips in Six Easy Steps

         • Sidney E. Benda

         Pages 115-128

      3. Analysis Patterns

         • L’ubor Šešera

         Pages 129-151

      4. Information Society Technologies in Healthcare

         • Dimitrios G. Katehakis, Manolis Tsiknakis, Stelios C. Orphanoudakis

         Pages 152-172

      5. Towards High Speed Grammar Induction on Large Text Corpora

         • Pieter Adriaans, Marten Trautwein, Marco Vervoort

         Pages 173-186

      6. Information Access Based on Associative Calculation

         • Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi et al.

         Pages 187-201

   4. Computational Perception

      1. Cheap Vision—Exploiting Ecological Niche and Morphology

         • Rolf Pfeifer, Dimitrios Lambrinos

         Pages 202-226

      2. Hierarchies of Sensing and Control in Visually Guided Agents

         • Jana Košecká

         Pages 227-244

      3. Recognizing Objects by Their Appearance Using Eigenimages

         • Horst Bischof, Aleš Leonardis

         Pages 245-265

   5. Soft Computing

      1. Information Mining: Applications in Image Processing

         • Rudolf Kruse, Aljoscha Klose

         Pages 266-285

3. Contributed Papers

   1. Front Matter

      Pages 287-287

      PDF

   2. An Automatic Composition Algorithm for Functional Logic Programs

      • María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal

      Pages 289-297

   3. On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem

      • Dirk Bongartz

      Pages 298-306

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November–2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks) Hotel, Milovy, Czech-Moravian Highlands, the Czech Republic. It was already the 27th annual meeting in the series of SOFSEM conferences organized in either the Czech or the Slovak Rep- lic. Since its establishment in 1974, SOFSEM has gone through a long dev- opment in parallel with the entire ?eld of informatics. Currently SOFSEM is a wide-scope, multidisciplinary conference, with stress on the interplay between the theory and practice of informatics. The SOFSEM scienti?c program consists mainly of invited talks which determine the topics of the conference. Invited talks are complemented by short refereed talks contributed by SOFSEM parti- pants. The topics of invited talks are chosen so as to cover the span from theory to practice and to bring interesting research areas to the attention of conf- ence participants. For the year 2000, the following three streams were chosen for presentation by the SOFSEM Steering Committee: – Trends in Algorithmics – Information Technologies in Practice – Computational Perception The above streams were covered through 16 invited talks given by prominent researchers. There were 18 contributed talks also presented, chosen by the int- national Program Committee from among 36 submitted papers. The program also included a panel on lessons learned from the Y2K problem.

• Agent Technology
• Algorithms
• DOM
• Evolutionary Computing
• Intelligent Information Processing
• Object Technology
• Robotics
• Soft Computing
• Software Engineering
• automata
• bioinformatics
• calculus
• distributed systems
• logic
• optimization

• Department of Cybernetics, Czech Technical University, Prague, Czech Republic

  Václav Hlaváč

• Information Technology Department, CLRC RAL, Chilton, Didcot, UK

  Keith G. Jeffery

• Insitute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

  Jiří Wiedermann

Policies and ethics