search for books and compare prices
Tables of Contents for Sofsem 2000
Chapter/Section Title
Page #
Page Count
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