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 PDF
Preview 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
Lecture 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
The list of books you might like
