Seminar program for 2009/2010

Autumn 2009

25. 9. 2009

Introductory Seminar Seminar

Program:
Information on Seminar Concept in the Autumn Semester.
Agenda of the seminar.
Discussion.

1.10. 2009

Marek Grac: Building language resources with community

Abstract:
The complexity of natural languages ​​is still beyond the capacity of computers. Attempts to its formalization have led to the obtaining of language resources in various layers (eg word forms or dictionaries). Their coverage and precision are tested on existing text corpora. There are situations when it is appropriate to use men power to handle specific cases. These tasks are usually very exhaustive and cross-checking is very important. This presentation will describe our attempt to work with community on building morphological database. Related issues as motivation and targeted selection are covered as well.

8.10. 2009

Radek Krejčí: Netopeer - Secure Remote Configuration System

Abstract:
TBA

15.10. 2009

Fedor Tirss: Assisted photography for the blind

Abstract:
Presentation briefly introduces a concept of assisted photography for blind and visual impaired users. We also describe the architecture of GATE (Graphics Accessible to Everyone) and WEBGEN in combination with PHOTON. Today's smartphones are equipped with the localization service (GPS) and the digital compass. In conjunction with the camera and internet access, it allows the blind to take their own photos. This kind of photos can be easily annotated, tagged and posted on the website. As an illustration, we provide an example showing how the blind can investigate (by sound or dialog) the "smart" photos on the web. This approach is not limited to blind, but also allows the commercial use of a whole concept.

22.10. 2009

Antonín Pavelka: Predicting effect of substitution on protein function

Abstract:
A single amino acid substitution can alter the protein structure so dramatically that the protein is not able to perform its function anymore. The ability to predict if this happens is important for both protein engineering and biomedical research. We use the receiver operating characteristic and the accuracy-coverage curve to show that the confidence weighted consensus of current methods leads to increased predictive performance. We also suggest plans for further improvement and deployment in protein engineering.

29.10. 2009

Vojtěch Bystrý: Segmentation of protein sequences using hidden Markov models

Abstract:
TBA

5.11. 2009

Vít Baisa: Machine Translation: Methods of Evaluation

Abstract:
If we want to compare different machine translation systems (tools, programs) we need to have our metrics available at our disposal. There are several methods commonly used to measure and quality translation and they will be presented in the talk. It will also be pointed out to their limitations and shortcomings and will show several ways of dealing with these limitations.

12.11. 2009

Zdeněk Vašíček: Evolutionary design of image filters and its hardware acceleration

Abstract:
Although the design of linear filters is a straightforward process, the design of robust nonlinear filters represents a non-trivial task and thus the median filter remains (since its invention) the most used nonlinear filter. We will show that the evolutionary design (evolutionary algorithms) approach can be successful in solving this task. In this presentation, a method will be introduced to design robust nonlinear image filters using evolutionary techniques. It will be shown that our approach produces solutions that show better quality as well as lower implementation cost compared to human-designed median-based filters. Since evolutionary design is generally a time-consuming process, an FPGA-based platform has been developed to accelerate this task. This platform will be discussed in the second part of the presentation. Since the modern XILINX FPGAs contain embedded PowerPC processors, the search algorithm is implemented using PowerPC while the candidate solution is evaluated using a deeply pipelined architecture. It will be shown that a significant acceleration of evolution is obtained when comparing to a highly optimized software implementation even if evolutionary platform runs at 100MHz. In the last part, the results will be discussed.

19.11. 2009

Jiří Kolář: Self-optimizing business processes

Abstract:
TBA

Petra Budíková: Response quality refinement in content-based information retrieval

Abstract:
Since traditional databases are not suitable for the efficient management of multimedia data, a new content-based approach and similarity research has been intensively researched in recent years. However, the concept of similarity is tricky - it will be shown that no universal measure of similarity can be defined. Therefore, the search system has to cooperate with the user. We will briefly present the concept of relevance feedback (RF) and discuss the difficulties that need to be overcome to allow successful utilization of RF in similarity searching. The main focus will be on the efficiency issues - we will analyze the cost of RF for a real-world search system and propose several methods of reducing costs.

26.11. 2009

Lukáš Holík (FIT BUT): Nondeterministic tree automate for abstract regular model checking

Abstract:
Abstract regular tree model checking (ARTMC) is a generic framework for verifying infinite state systems with tree-shaped configurations (such as pointer manipulating programs, parametrated protocols, ...). Possible infinite sets of states are represented as tree automata. Nondeterministic tree automata (NTA) is much more compact then deterministic ones, however, to use NTAs within ARTMC, one has to develop techniques for dealing with NTAs effectively without determining them. Such techniques will be presented, specifically, algorithms for reducing size and for checking the language inclusion of NTAs.

3.12. 2009

Petr Jarušek: How to Predict the Difficulty of Sokoban Puzzle?

Abstract:
Sokoban is a well-known Japanese game proven to be a P-SPACE complete problem. Although the game is hard to solve for computers, people are often able to solve it very guickly. What causes difficulty of Sokoban puzzle for humans? How can we predict the difficulty of other puzzles? What is it all good for? We will focus more on our human-like computational model and possible applications of our research. (see also http://en.wikipedia.org/wiki/Sokoban http://organizatori.cz/puzzle/)

10.12. 2009

Vojtech Kovar: Syntactic Analysis as Pattern Matching

Abstract:
TBA

17.12. 2009

Poster Session

Abstract:
Presentations will be presented in the autumn semester.

Spring 2010

19. 2. 2010

Introductory Seminar of the Spring Semester

Information on the seminar concept in the spring semester. Agenda of the seminar. Discussion.

4.3. 2010

Marek Trtík:

Abstract:
TBA

11.3. 2010

Jan Vlach: Quantum marginal problem

Abstract:
The presentation will deal with the compatibility of quantum states of the composite system and given quantum states of its subsystems. We will show known results for the case of finite-dimensional Hilbert spaces. For continuous quantum variables there is no known general solution. However, for certain classes of Gaussian states this problem can be significantly simplified.

18.3. 2010

Zuzana Nevěřilová:

Abstract:
TBA

25.3. 2010

Tomáš Čapek: Construction and Maintenance of Semantic Networks

Abstract:
A general-purpose semantic network is a language resource for the given language, alternative to traditional dictionaries. It consists of semantic units that are connected by semantic relations, thus creating a graph-like structure or a network. In this presentation we will discuss how semantic networks are constructed and how to maintain their data in a semi-automatic way.

1.4. 2010

Michael Tsikerdekis: Social networks & online group phenomena

Abstract:
The presentation is divided into two sections. In the first one I'm going to talk about social networks and explain what they are, how they work, and give some examples of different categories. Then I'm going to talk about issues related to social networks and specifically about design flaws that could lead to economic problems as well as ethical problems and give examples. In the second section I am going to talk about two specific phenomena that occur in online groups and thus in social networks. I'm going to point out the causes of this phenomenon and discuss that software engineers should use this knowledge to avoid design flaws and predict online group behavior to meet the desired end result.

8.4. 2010

Jana Tůmová: Optimal Path Planning under Temporal Logic Constraints

Abstract:
We present a method for automatically generating optimal robot trajectories that meet high level mission specifications. The motion of the robot in the environment is modeled as a general transition system, enhanced with weighted transitions. The mission is defined by a class of temporal logic formulas. For each environment model and for every formula in class, our method calculates a robot trajectory that minimizes a certain cost function. The problem is motivated by applications in robotic monitoring and data gathering.

15.4. 2010

Rambousek: TBA

Abstract:
TBA

22.4. 2010

Pavel Karas: TBA

Abstract:
TBA

29.4. 2010

Pavel Černohorský: TBA

Abstract:
TBA

6.5. 2010

Ondřej Strnad: TBA

Abstract:
TBA

13.5. 2010

Martin Drašar: TBA

Abstract:
TBA

Vilém Šustr: Computer Aided Calligraphy in Haptic Virtual Environment

Abstract:
TBA

20.5. 2010

Poster Session

Abstract:
Presentations will be made in the spring semester.