The case study method (analysis of specific situations) is one the options for applying modern pedagogical technologies in practice education aimed at solving problems SES. Analysis learning situations (case study) a teaching designed to improve skills and gain experience following areas: identifying, selecting problems; work with information - understanding meaning details described situation;...

This paper introduces a new technique for the verification of interactive systems. It first presents the use of a model oriented formal method for specifying interactive systems, i.e. the B method. Then, it suggests formally based solutions which allow solving difficulties that are inherent to interactive systems specification, like reachability, observability or reliability. Our claim is that ...

Interactive evolution has shown the potential to create amazing and complex forms in both 2-D and 3-D settings. However, the algorithm is slow and users quickly become fatigued. We propose that the use of eye tracking for interactive evolution systems will both reduce user fatigue and improve evolutionary success. We describe a systematic method for testing the hypothesis that eye tracking driv...

Televisions are delivering more interactive experiences with internet connections, various applications and interactive content. However, traditional TV remote controls are not well suited to such interactive TV platforms. With the widespread use of freehand gestural interaction enabled by low-cost cameras, gestural interfaces are a promising solution for controlling interactive TV. Currently, ...

This paper presents a novel method for interactive playground design, based on traditional children’s play. This method combines the rich interaction possibilities of computer games with the physical and open-ended aspects of traditional children’s games. The method is explored by the development of a prototype interactive playground, which has been implemented and evaluated over two iterations.

A method called PAINT is introduced for computationally expensive multiobjective optimization problems. The method interpolates between a given set of Pareto optimal outcomes. The interpolation provided by the PAINT method implies a mixed integer linear surrogate problem for the original problem which can be optimized with any interactive method to make decisions concerning the original problem...

In this paper, we propose a visual importantdriven interactive rendering method for 3D model over 802.11 WLAN for overcoming the shortcomings of wireless network’s narrow bandwidth, high transmission error rates and mobile devices’ low power supply. This paper first proposes an efficient simplification method based on an improved visual important region detection technique. Then, we develop an ...

This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known and very intuitive strategy for the verification of sequential programs. We have carried over this approach to the interactive verification of arbitrary linear temporal logic properties of (infinite state) parallel prog...

Image segmentation is a challenging research area in computer vision, image processing, and computer graphics. Interactive image segmentation is one important research branch of image segmentation, which has been applied in many areas such as medical imaging, movie industry, object tracking and sports. In this master’s thesis, a novel image segmentation method has been developed. This segmentat...