27. SOFSEM 2000: Milovy, Czech Republic

@proceedings{DBLP:conf/sofsem/2000,
  editor    = {V{\'a}clav Hlav{\'a}c and
               Keith G. Jeffery and
               Jir\'{\i} Wiedermann},
  title     = {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},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1963},
  year      = {2000},
  isbn      = {3-540-41348-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

Keynote Speaker

• Dines Bjørner:
  Domain Engineering: A Software Engineering Discipline in Need of Research. 1-17
  Electronic Edition (Springer LINK) BibTeX

Trends in Algorithmics

• Jürg Nievergelt:
  Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. 18-35
  Electronic Edition (Springer LINK) BibTeX
• Tao Jiang, Ming Li, Paul M. B. Vitányi:
  The Incompressibility Method. 36-53
  Electronic Edition (Springer LINK) BibTeX
• Arno Siebes:
  BioInformatics: Databases + Data Mining (abstract). 54-55
  Electronic Edition (Springer LINK) BibTeX
• Amir Ronen:
  Algorithms for Rational Agents. 56-70
  Electronic Edition (Springer LINK) BibTeX
• Thomas Schickinger, Angelika Steger:
  Simplified Witness Tree Arguments. 71-87
  Electronic Edition (Springer LINK) BibTeX

Information Technologies in Practice

• Vladimír Marík, Lubos Kral, Radek Marík:
  Software Testing & Diagnostics: Theory & Practice. 88-114
  Electronic Edition (Springer LINK) BibTeX
• Sidney E. Benda:
  Physical Design of CMOS Chips in Six Easy Steps. 115-128
  Electronic Edition (Springer LINK) BibTeX
• L'ubor Sesera:
  Analysis Patterns. 129-151
  Electronic Edition (Springer LINK) BibTeX
• Dimitrios G. Katehakis, Manolis Tsiknakis, Stelios C. Orphanoudakis:
  Information Society Technologies in Healthcare. 152-172
  Electronic Edition (Springer LINK) BibTeX
• Pieter W. Adriaans, Marten Trautwein, Marco Vervoort:
  Towards High Speed Grammar Induction on Large Text Corpora. 173-186
  Electronic Edition (Springer LINK) BibTeX
• Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama, Toru Hisamitsu, Osamu Imaichi, Hirofumi Sakurai:
  Information Access Based on Associative Calculation. 187-201
  Electronic Edition (Springer LINK) BibTeX

Computational Perception

• Rolf Pfeifer, Dimitrios Lambrinos:
  Cheap Vision-Exploiting Ecological Niche and Morphology. 202-226
  Electronic Edition (Springer LINK) BibTeX
• Jana Kosecka:
  Hierarchies of Sensing and Control in Visually Guided Agents. 227-244
  Electronic Edition (Springer LINK) BibTeX
• Horst Bischof, Ales Leonardis:
  Recognizing Objects by Their Appearance Using Eigenimages. 245-265
  Electronic Edition (Springer LINK) BibTeX

Soft Computing

• Rudolf Kruse, Aljoscha Klose:
  Information Mining: Applications in Image Processing. 266-287
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
  An Automatic Composition Algorithm for Functional Logic Programs. 289-297
  Electronic Edition (Springer LINK) BibTeX
• Dirk Bongartz:
  On the Approximation Ratio of the Group-Merge Algorithm for the Shortest Common Suerstring Problem. 298-306
  Electronic Edition (Springer LINK) BibTeX
• Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon:
  Fast Evolutionary Chains. 307-318
  Electronic Edition (Springer LINK) BibTeX
• Cristina De Castro:
  A Temporal Layered Knowledge Architecture for an Evolving Structured Environment. 319-326
  Electronic Edition (Springer LINK) BibTeX
• Marc Demange, Xavier Paradon, Vangelis Th. Paschos:
  On-Line Maximum-Order Induces Hereditary Subgraph Problems. 327-335
  Electronic Edition (Springer LINK) BibTeX
• Marats Golovkins:
  Quantum Pushdown Automata. 336-346
  Electronic Edition (Springer LINK) BibTeX
• Martin Holub:
  Use of Dependency Microcontexts in Information Retrieval. 347-355
  Electronic Edition (Springer LINK) BibTeX
• Stasys Jukna, Stanislav Zák:
  Some Notes on the Information Flow in Read-Once Branching Programs. 356-364
  Electronic Edition (Springer LINK) BibTeX
• Marina Kolesnik:
  On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe. 365-374
  Electronic Edition (Springer LINK) BibTeX
• Jaroslav Král, Michal Zemlicka:
  Autonomous Components. 375-383
  Electronic Edition (Springer LINK) BibTeX
• Petr Koha:
  Parallel Object Server for Fine Grained Objects. 384-391
  Electronic Edition (Springer LINK) BibTeX
• Martin Kutrib, Jan-Thomas Löwe:
  Massively Parallel Pattern Recognition with Link Failures. 392-401
  Electronic Edition (Springer LINK) BibTeX
• Slawomir Lasota:
  Finitary Observations in Regular Algebras. 402-410
  Electronic Edition (Springer LINK) BibTeX
• Ngoc Thanh Nguyen:
  Using Consensus Methods for Solving Conflicts of Data in Distributed Systems. 411-419
  Electronic Edition (Springer LINK) BibTeX
• Václav Sebesta, Jana Tucková:
  Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis. 420-430
  Electronic Edition (Springer LINK) BibTeX
• Michal Sorel, Jirí Síma:
  Robust Implementaion of Finite Automata by Recurrent RBF Networks. 431-439
  Electronic Edition (Springer LINK) BibTeX
• Richard Vlach, Jan Lána, Jan Marek, David Navara:
  MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents. 440-449
  Electronic Edition (Springer LINK) BibTeX
• Martin Ziegler, Vasco Brattka:
  Computing the Dimension of Linear Subspaces. 450-458
  Electronic Edition (Springer LINK) BibTeX