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

by Hlavac, Vaclav; Jeffery, Keith G.; Wiedermann, Jiri

• ISBN13: 9783540413486
• ISBN10: 3540413480
• Format: Paperback
• Copyright: 2000-12-01
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2000, held in Milovy, Czech Republic in November/December 2000. The 16 invited papers and 18 contributed papers selected from 36 submissions were carefully selected in order to provide representative coverage of the three tracks: trends in algorithms, information technologies and practice, and computational perception.

Table of Contents

INVITED TALKS
Keynote Speaker
Domain Engineering: A Software Engineering Discipline in Need of Research	1	(17)
Dines Bjorner
Trends in Algorithmics
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power	18	(18)
Jurg Nievergelt
The Incompressibility Method	36	(18)
Tao Jiang
Ming Li
Paul Vitanyi
BioInformatics: Databases + Data Mining (abstract)	54	(2)
Arno Siebes
Algorithms for Rational Agents	56	(15)
Amir Ronen
Simplified Witness Tree Arguments	71	(17)
Thomas Schickinger
Angelika Steger
Information Technologies in Practice
Software Testing & Diagnostics: Theory & Practice	88	(27)
Vladimir Marik
Lubos Kral
Radek Marik
Physical Design of CMOS Chips in Six Easy Steps	115	(14)
Sidney E. Benda
Analysis Patterns	129	(23)
L'ubor Sesera
Information Society Technologies in Healthcare	152	(21)
Dimitrios G. Katehakis
Manolis Tsiknakis
Stelios C. Orphanoudakis
Towards High Speed Grammar Induction on Large Text Corpora	173	(14)
Pieter Adriaans
Marten Trautwein
Marco Vervoort
Information Access Based on Associative Calculation	187	(15)
Akihiko Takano
Yoshiki Niwa
Shingo Nishioka
Makoto Iwayama
Toru Hisamitsu
Osamu Imaichi
Hirofumi Sakurai
Computational Perception
Cheap Vision---Exploiting Ecological Niche and Morphology	202	(25)
Rolf Pfeifer
Dimitrios Lambrinos
Hierarchies of Sensing and Control in Visually Guided Agents	227	(18)
Jana Kosecka
Recognizing Objects by Their Appearance Using Eigenimages	245	(21)
Horst Bishof
Ales Leonardis
Soft Computing
Information Mining: Applications in Image Processing	266	(23)
Rudolf Kruse
Aljoscha Klose
CONTRIBUTED PAPERS
An Automatic Composition Algorithm for Functional Logic Programs	289	(9)
Maria Alpuente
Moreno Falaschi
Gines Moreno
German Vidal
On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem	298	(9)
Dirk Bongartz
Fast Evolutionary Chains	307	(12)
Maxime Crochemore
Costas S. Iliopoulos
Yoan J. Pinzon
A Temporal Layered Knowledge Architecture for an Evolving Structured Environment	319	(8)
Cristina De Castro
On-Line Maximum-Order Induced Hereditary Subgraph Problems	327	(9)
Marc Demange
Xavier Paradon
Vangelis Th. Paschos
Quantum Pushdown Automata	336	(11)
Marts Golovkins
Use of Dependency Microcontexts in Information Retrieval	347	(9)
Martin Holub
Some Notes on the Information Flow in Read-Once Branching Programs	356	(9)
Stasys Jukna
Stanislav Zak
On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe	365	(10)
Marina Kolesnik
Autonomous Components	375	(9)
Jaroslav Kral
Michal Zemlicka
Parallel Object Server for Fine Grained Objects	384	(8)
Petr Kroha
Massively Parallel Pattern Recognition with Link Failures	392	(10)
Martin Kutrib
Jan-Thomas Lowe
Finitary Observations in Regular Algebras	402	(9)
Slawomir Lasota
Using Consensus Methods for Solving Conflicts of Data in Distributed Systems	411	(9)
Ngoc Thanh Nguyen
Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis	420	(11)
Vaclav Sebesta
Jana Tuckova
Robust Implementation of Finite Automata by Recurrent RBF Networks	431	(9)
Michal Sorel
Jiri Sima
MDBAS --- A Prototype of a Multidatabase Management System Based on Mobile Agents	440	(10)
Richard Vlach
Jan Lana
Jan Marek
David Navara
Computing the Dimension of Linear Subspaces	450	(9)
Martin Ziegler
Vasco Brattka
Author Index	459