Skip to main content
SpringerLink
Log in
Book cover

SOFSEM 2000: Theory and Practice of Informatics

27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Václav Hlaváč

    1. Department of Cybernetics, Czech Technical University, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Keith G. Jeffery

    1. Information Technology Department, CLRC RAL, Chilton, Didcot, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jiří Wiedermann

    1. Insitute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1963)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Talks

    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
      Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation