Table Of ContentLecture Notes in Computer Science 1963
EditedbyG.Goos,J.HartmanisandJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Václav Hlavácˇ Keith G. Jeffery
Jiˇrí Wiedermann (Eds.)
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
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditors
VáclavHlavácˇ
CzechTechnicalUniversity,DepartmentofCybernetics
Karlovonám.13,12135Prague,CzechRepublic
E-mail:[email protected]
KeithG.Jeffery
CLRCRAL,InformationTechnologyDepartment
Chilton,Didcot,Oxfordshire,UnitedKingdom
E-mail:[email protected]
JiˇríWiedermann
AcademyofSciencesoftheCzechRepublic,InsituteofComputerScience
Podvodárenskouveˇzˇí2,18207Prague,CzechRepublic
E-mail:[email protected]
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Theoryandpracticeofinformatics:proceedings/SOFSEM2000,27thConference
onCurrentTrendsinTheoryandPracticeofInformatics,Milovy,CzechRepublic,
November25-December2,2000.VáclavHlavác...(ed.).-Berlin;Heidelberg;
NewYork;Barcelona;HongKong;London;Milan;Paris;Singapore;Tokyo:
Springer,2000
(Lecturenotesincomputerscience;Vol.1963)
ISBN3-540-41348-0
CRSubjectClassification(1998):D,F,H.1-3,I.2,C.2,G.2
ISSN0302-9743
ISBN3-540-41348-0Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagBerlinHeidelbergNewYork
amemberofBertelsmannSpringerScience+BusinessMediaGmbH
©Springer-VerlagBerlinHeidelberg2000
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyDA-TeXGerdBlumenstein
Printedonacid-freepaper SPIN:10781064 06/3142 543210
Preface
The international conference on current trends in the theory and practice of
informaticsSOFSEM2000washeld25November–2December2000inthe con-
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
seriesofSOFSEMconferencesorganizedineithertheCzechortheSlovakRepub-
lic.
Since its establishment in 1974, SOFSEM has gone through a long devel-
opment in parallel with the entire field of informatics. Currently SOFSEM is a
wide-scope, multidisciplinary conference, with stress on the interplay between
thetheoryandpracticeofinformatics.TheSOFSEMscientificprogramconsists
mainly of invited talks which determine the topics of the conference. Invited
talksarecomplementedbyshortrefereedtalkscontributedbySOFSEMpartici-
pants.The topicsofinvitedtalks arechosensoasto coverthe spanfromtheory
to practice and to bring interesting research areas to the attention of confer-
enceparticipants.Fortheyear2000,thefollowingthreestreamswerechosenfor
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.Therewere18contributedtalksalsopresented,chosenbythe inter-
national Program Committee from among 36 submitted papers. The program
also included a panel on lessons learned from the Y2K problem. For the first
time in SOFSEM history, the conference was also accompanied by a workshop
on soft computing.
The present volume contains invited papers (including the keynote talk by
Dines Bjørner), the workshopopening plenary talk and all contributed papers.
We are grateful to the members of both the SOFSEM Advisory Board and
the SOFSEM Steering Committee for their proposals for the conference scien-
tific program and for their cooperation in recruiting the invited speakers. We
also wish to thank everybody who submitted a paper for consideration,all Pro-
gram Committee members for their meritorious work in evaluating the papers,
as well as to all subreferees who assisted the Program Committee members in
the selection process. We are deeply indebted to all authors of invited and con-
tributedpaperswhopreparedtheirmanuscriptsforpresentationinthis volume.
A special thanks goes to Petr Ha´jek who organized the scientific part of the
workshop on soft computing and set up a special volume of the journal Neural
Network World containing the selected papers presented at the workshop.
The secretary of the Program Committee, Aleˇs Kˇrenek, did a great job in
maintaining the SOFSEM program agenda. Moreover, he prepared, with the
VI Preface
appreciated help of Zdenˇek Salvet, the camera-ready version of the proceedings
manuscript and took the responsibility for its final LATEX typesetting.
Many thanks are due to the members of the Organizing Committee who
did an excellent job in preparing and conducting SOFSEM 2000, as usual. Jan
Staudek was a very efficient conductor of his Organizing Committee orches-
tra. We also thank all institutions and scientific societies that cooperated in
organizingSOFSEM2000and allsponsors who,throughfinancial support,per-
mittedthe invitedspeakersandPh.D.studentsto participate.The assistanceof
Springer-Verlaginthe preparationofthevolumeishighlyappreciated.Lastbut
not least, we thank the editorial board of the journal Neural Network World,
where the papers from the soft computing workshop were presented.
September 2000 V´aclav Hlava´ˇc, Tokyo
Keith G. Jeffery, Didcot
Jiˇr´ıWiedermann, Prague
(cid:2)
(cid:2) Advisory Board
Dines Bjørner Technical University of Denmark, Lyngby, Denmark
Manfred Broy Technical University Munich, Germany
Michal Chytil ANIMA Prague,Czech Republic
Peter van Emde Boas University of Amsterdam, The Netherlands
Georg Gottlob Vienna University of Technology, Austria
Keith G. Jeffery CLRC RAL, Chilton, Didcot, Oxon, UK
Maria Zem´ankova´ NSF, Washington D.C., USA
(cid:2)
(cid:2) Steering Committee
Jiˇr´ıWiedermann, chair Academy of Sciences, Prague,Czech Republic
Miroslav Bartoˇsek,secretary Masaryk University, Brno, Czech Republic
Keith G. Jeffery CLRC RAL, Chilton, Didcot, Oxon, UK
Frantiˇsek Pl´aˇsil Charles University, Prague, Czech Republic
Igor Pr´ıvara INFOSTAT, Bratislava,Slovak Republic
Branislav Rovan ComeniusUniversity,Bratislava,SlovakRepublic
Jan Staudek Masaryk University, Brno, Czech Republic
Gerard Tel Utrecht University, The Netherlands
(cid:2)
(cid:2) Program Committee
V´aclav Hlava´ˇc, chair CzechTechnicalUniversity,Prague,CzechRepublic
Keith G. Jeffery, co-chair CLRC RAL, Chilton, Didcot, Oxon, UK
Jiˇr´ıWiedermann,co-chair Academy of Sciences, Prague, Czech Republic
Aleˇs Kˇrenek,secretary Masaryk University, Brno, Czech Republic
Vasco Brattka University of Hagen, Germany
Luboˇs Brim Masaryk University, Brno, Czech Republic
Peter van Emde Boas University of Amsterdam, The Netherlands
Anna Gambin Warsaw University, Poland
Damas Gruska Comenius Univeristy, Bratislava,Slovak Republic
BoˇrivojMelichar CzechTechnicalUniversity,Prague,CzechRepublic
Aleˇs Miˇcovsky´ Softec, s.r.o., Bratislava, Slovak Republic
Jan Pavelka DCIT Ltd., Prague,Czech Republic
Jaroslav Pokorny´ Charles University, Prague, Czech Republic
Jiˇr´ıPola´k Deloitte & Touche, Prague, Czech Republic
Peter Ruˇziˇcka Comenius Univeristy, Bratislava,Slovak Republic
Robert Sablatnig Vienna University of Technology, Austria
Sebastian Seibert RWTH Aachen, Germany
Milan Sˇonka University of Iowa, Iowa City, USA
Gerard Tel Utrecht University, The Netherlands
Petr T˚uma Charles University, Prague, Czech Republic
Ulrich Ultes-Nitsche University of Southhampton, UK
Thomas Worsch University of Karlsruhe,Germany
VIII Committees
(cid:2)
(cid:2) Subreferees
Peter Borovansky´ Anton´ın Kuˇcera
Michael Butler Adam Malinowski
David R. Gilbert Luboˇs Popel´ınsky´
Duˇsan Guller Zdenko Stan´ıˇcek
Neil Henderson Ja´n Sˇturc
Juraj Hromkoviˇc Miroslav T˚uma
Petr Kla´n Walter Unger
Ralf Klasing Pavol Voda
Ivan Kopeˇcek Jana Zva´rov´a
Dariusz Kowalski
Mojm´ır Kˇret´ınsky´
(cid:2)
(cid:2) Organization
SOFSEM 2000 is organized by
CLRC RAL, Chilton, Didcot, Oxon, UK
Czech Technical University, Prague, Czech Republic
Czech Society for Computer Science
Faculty of Informatics, Masaryk University, Brno, Czech Republic
Institute of Computer Science, Academy of Science, Prague, Czech Republic
Institute of Computer Science, Masaryk University, Brno, Czech Republic
in cooperation with
Czech ACM Chapter
Czechoslovak Chapter of the IEEE Computer Society
Slovak Society for Computer Science
(cid:2)
(cid:2) Organizing Committee
Jan Staudek, chair Tom´aˇs Pitner
Miroslav Bartoˇsek Jarom´ır Skˇrivan
Petr Hana´ˇcek Petr Sojka
Dana Koma´rkov´a Tom´aˇs Staudek
Zdenˇek Malˇc´ık
(cid:2)
(cid:2) Sponsoring Institutions
ApS Brno, s.r.o.
Compaq Computer, s.r.o.
ERCIM, the European Research Consortium for Informatics and Mathematics
Hewlett Packard, s.r.o.
IBM Czech Republic, s.r.o.
Oracle Czech, s.r.o.
Table of Contents
INVITED TALKS
Keynote Speaker
Domain Engineering: A Software Engineering Discipline
in Need of Research .........................................................1
Dines Bjørner
Trends in Algorithmics
Exhaustive Search, Combinatorial Optimization and Enumeration:
Exploring the Potential of Raw Computing Power ..........................18
Ju¨rg Nievergelt
The Incompressibility Method .............................................36
Tao Jiang, Ming Li and Paul Vita´nyi
BioInformatics: Databases + Data Mining (abstract) .......................54
Arno Siebes
Algorithms for Rational Agents ............................................56
Amir Ronen
Simplified Witness Tree Arguments ........................................71
Thomas Schickinger and Angelika Steger
Information Technologies in Practice
Software Testing & Diagnostics: Theory & Practice ........................88
Vladim´ır Maˇr´ık, Luboˇs Kra´l and Radek Maˇr´ık
Physical Design of CMOS Chips in Six Easy Steps ........................115
Sidney E. Benda
Analysis Patterns .........................................................129
L’ubor Sˇeˇsera
Information Society Technologies in Healthcare ...........................152
Dimitrios G. Katehakis, Manolis Tsiknakis and Stelios C. Orphanoudakis
Towards High Speed Grammar Induction on Large Text Corpora .........173
Pieter Adriaans, Marten Trautwein and Marco Vervoort
Information Access Based on Associative Calculation .....................187
Akihiko Takano, Yoshiki Niwa, Shingo Nishioka, Makoto Iwayama,
Toru Hisamitsu, Osamu Imaichi and Hirofumi Sakurai
