Program kolokvií s abstrakty pro semestr Podzim 1999

21. 9. 1999
Doc. Ing. Josef Siller, CSc
Problemy rizeni v informacni spolecnosti (Konkurzni prednaska)
Abstract: V prednásce se doc. Siller pokusí uvést poznatky týkající se managementu pusobícího v prostredí dynamických zmen lokálního a globálního charakteru, v podmínkách inflace informací. Na základe vlastních zkuseností uvede soucasné problémy a tendence informacního zabezpecení managementu ceských podniku a institucí, vcetne vztahu manazeru k informacím jako specifickému druhu zbozí.
28. 9. 1999
Ing. Pavel Zezula, Csc
Similarity search in high-dimensional spaces (Konkurzni prednaska)
Abstract: Similarity search in high-dimensional spaces has recently become a very important issue due to the common practice used for content-based retrieval of multimedia data. However, the search performance is still not satisfactory and often suffers from the "dimensionality curse". After explaining the problem, recent approaches based on approximation and parallelism will be surveyed
5. 10. 1999
Dr Antonin Kucera PhD, FI MUNI Brno
Decidability and complexity of regular properties of processes
Abstract: We give an overview of existing decidability/complexity results for selected `regular' problems of processes (e.g., equivalence/preorder checking with finite-state processes, regularity w.r.t. various process equivalences, etc.) Potential applicability of those results to practical verification problems will be discussed, emphasizing the most promising directions.
The first part of the talk is based on results which have been presented at ICALP'99, CONCUR'99, and (partly) CSL'99 conferences; in the second part we present some recent (unpublished) work.
12. 10. 1999
Doc. Karel Pala Csc, FI MU, Brno
Laborator zpracovani prirodzeneho jazyka na FI MU
Abstract: V prednasce bude rec o vyzkumu, ktery probiha na FI MU v ramci grantoveho projektu VS97028, a o jeho peti hlavnich vetvich:
a) korpusy a korpusove nastroje
b) zpracovani mluvene reci
c) semanticka analyza prirozeneho jazyka
d) cesky WordNet
e) techniky strojoveho uceni ve zpracovani prirozeneho jazyka
Bude prezentovam soucasny stav vyzkumu a nektere aktualni vysledky.
19. 10. 1999
Doc. Ing. Ivan M. Havel CSc, Center for Theoreticl Study, director
Filosofie mysli pro informatiky
Abstract: V druhe polovine 20. stoleti vedl vynalez pocitace, kybernetiky a posleze umele inteligence k mnoha novym teoriim, tykajicim se starych filosofickych otazek, nekdy shrnovanych pod nazev ``filosofie mysli'' (philosophy of mind). Prikladem takove otazky je tzv. psychofyzicky problem (mind-body problem): zda a jak muze dochazet k interakci mezi mysli (dusi) a telem (hmotou). V prednasce si pristupnym zpusobem rozebereme nektere problemy tohoto typu, zejmena ty, ktere se tykaji emeleho mysleni.
26.10. 1999
Prof. Javier Esparaza, TU Munich
Grammars as processes
Abstract: In the last years there has been an increasing interest in the analysis of infinite state automata generated by finite machines like Petri nets, pushdown automata, and various fragments of process algebras. In the talk I introduce Process Rewrite Systems (PRS), a unified view of these machines. PRSs are obtained by looking at grammars in a different way, not as generators of languages, but as generators of transition systems. I define a Chomsky-like hierarchy of PRSs, and present some results about the decidability and complexity of different verification problems for the classes in this hierarchy. Finally, I show how these results can be applied to dataflow analysis of concurrent procedural programs.
The talk is based on work by many people, but mostly on the Ph. D. Thesis of my former student Richard Mayr, and on joint work with Jens Knoop and Andreas Podelski.
2.11. 1999
Prof. Vaclav Hlavac, CSc, FE VUT Praha
3D Scene Reconstruction From 2D Images
Abstract: The second half of nineties witnessed a qualitative move from stereovision that remained for a long time in a one hundred old photogrammetric framework providing relation between two views only. The new impulse was the discovered trilinear and quadrilinear relation among views in projective geometry. Another impulse was the transition from Euclidean using calibrated cameras to projective reconstruction where uncalibrated cameras are sufficient. The observations of the scene provides extensive number (tenth of) images that yield qualitatively better results than before.
The topic will be overviewed from the perspective of our own achievements: (a) interpolation from two images, (b) relation among interpolation, extrapolation and reconstruction of a full 3D model, (c) projective reconstruction from three uncalibrated images, (d) introduction of the oriented projective reconstruction.
The tasks of omnidirectional vision will be mentioned as well. Epipolar geometry and egomotion estimation algorithm for central panoramic cameras was developed in CMP. Design and image formation for newly defined central panoramic cameras have been studied. New approach to mobile robot localization has been proposed. The approach relies on a visual map comprising panoramic images which are represented in a rotationally invariant manner.
11.11. 1999
Prof. Charles Bennett, IBM Yorktown, USA
Quantum information processing
Abstract: The rebuilding of information and computation theory on quantum foundations, though far from complete, has made enough progress for us to guess at its final outlines. But experimental implementations are still in their infancy, so it is much harder to answer the favorite question of journalists, "When will we have a useful quantum computer?" I therefore concentrate on theory, giving an overview of what quantum physics has belatedly taught us about the nature of information, and what it might yet teach.
Prof. Niklaus Wirth, ETH Zurich
Records, Objects. Classes, Modules, Components. And how they relate.
Abstract: During the last 25 years of development of programming languages and programming disciplines, an entire plethora of concepts has emerged. Often new notions are presented and praised as revolutionary innovations without explaining their connections with concepts familiar and established. We offer an account of the historical developments and try to elucidate the relationships between the various terms dominating the topic of modern programming and software engineering.
16.11. 1999
Petr Penaz
Hapticke kodovani textove informace
Abstract: 1. Vyznam percepcni alternace akustika vs. grafika pro prenos textu; transformace tohoto protikladu na alternaci akustika vs. haptika u osob nevidomych.
2. Rozdilna mira vyhodnosti haptickych systemu naziranych a) izolovane, b) jako alternativa k bezne textove grafice; Brailleuv bodovy system jako kompromis mezi obema hledisky.
3. Typologie braillskych systemu: a) sestibodovy vs. osmibodovy; b) system znakovy (alfanumericky, symbolicky, notovy) vs. ikonicky; c) plnopis vs. zkratkopis.
4. Stav kodifikace braillskych systemu z hlediska mezinarodniho a ceskeho.
5. Software a hardware pro prenos informace v haptickem tvaru, kodove tabulky braillskych zobrazovacu a tiskaren.
6. Stav braillskeho knihtisku v ceskych zemich.
23.11. 1999
Dr.H. Pirker, Austrian Institute for Artificial Intelligence
SpeeDurCont - A Project on Segmental Duration in German Speech
Abstract: The aim of this talk is to present SpeeDurCont -- an ongoing research project on the modelling of segmental duration for speech synthesis. Current improvements in the segmental quality of synthesized speech have made it clear that truly high-quality speech synthesis crucially depends on adequate and natural sounding prosody as well. Currently, most research in prosody is directed at intonation and its realization through fundamental frequency (f0), while duration (and amplitude) have been mostly regarded as secondary factors. Our project is motivated by two goals: From the practical point of view it aims for the construction of a duration model in order to improve the prosodic quality of our speech synthesizer. From a theoretical point of view it aims for a better understanding of the factors influencing duration and a clarification of the interaction between duration and pitch. For this purpose a corpus of "Austrian German" is constructed an subsequently analyzed using machine learning techniques.
7.12. 1999
Dr. Juergen Dorn, Institut fuer Informationssysteme, Technische Universitaet, Wien
From applications to software framework
Abstract: In my talk I will present two scheduling problems from the Austrian steelmaking industry. I will show how the pragmatic solutions have lead to new research approaches - namely modeling of soft constraints and iterative improvement methods. Finally I introduce Déjŕ Vu - the scheduling class library as a result of both theoretic research and practical applications.
14. 12. 1999
Doc. Petr Jancar, CSc, TU Ostrava
Ideas of decision procedures for bisimilarity on infinite state systems
Abstract: In this tutorial-style talk, the notion of bisimulation equivalence will be explained in terms of graph games, and some main ideas behind decision algorithms for infinite state systems will be demonstrated. Also a recent usage of such ideas by Stirling (1999) will be mentioned; he has simplified Senizergues' solution (1997) of the long standing open problem of decidability for deterministic pushdown automata equivalence.