SOFSEM 2000: Theory and Practice of Informatics

Invited Talks.- Domain Engineering: A Software Engineering Discipline in Need of Research.- Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power.- The Incompressibility Method.- BioInformatics: Databases + Data Mining.- Algorithms for Rational Agents.- Simplified Witness Tree Arguments.- Software Testing & Diagnostics: Theory & Practice.- Physical Design of CMOS Chips in Six Easy Steps.- Analysis Patterns.- Information Society Technologies in Healthcare.- Towards High Speed Grammar Induction on Large Text Corpora.- Information Access Based on Associative Calculation.- Cheap Vision-Exploiting Ecological Niche and Morphology.- Hierarchies of Sensing and Control in Visually Guided Agents.- Recognizing Objects by Their Appearance Using Eigenimages.- Information Mining: Applications in Image Processing.- Contributed Papers.- An Automatic Composition Algorithm for Functional Logic Programs.- On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Superstring Problem.- Fast Evolutionary Chains.- A Temporal Layered Knowledge Architecture for an Evolving Structured Environment.- On-Line Maximum-Order Induced Hereditary Subgraph Problems.- Quantum Pushdown Automata.- Use of Dependency Microcontexts in Information Retrieval.- Some Notes on the Information Flow in Read-Once Branching Programs.- On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe.- Autonomous Components.- Parallel Object Server for Fine Grained Objects.- Massively Parallel Pattern Recognition with Link Failures.- Finitary Observations in Regular Algebras.- Using Consensus Methods for Solving Conflicts of Data in Distributed Systems.- Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis.- Robust Implementation of Finite Automata by Recurrent RBF Networks.- MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents.- Computing