انجمن کامپیوتر ایران

Long-term forecasting of load demand is necessary for the correct operation of electric utilities. There is an on-going attention toward putting new approaches to the task. Recently, Neurofuzzy modeling has played a successful role in various applications over nonlinear time series prediction. This paper presents a neurofuzzy model for long-term load forecasting. This model is identified through Locally Linear Model Tree (LoLiMoT) learning algorithm. The model is compared to a multilayer perceptron and hierarchical hybrid neural model (HHNM). The models are trained and assessed on load data extracted from a North- American electric utility.

This paper presents a new segmentation method for color images. It relies on soft and hard segmentation processes. In the soft segmentation process, a cellular learning automata analyzes the input image and closes together the pixels that are enclosed in each region to generate a soft segmented image. Adjacency and texture information are encountered in the soft segmentation stage. Soft segmented image is then fed to the hard segmentation process to generate the final segmentation result. As the proposed method is based on CLA it can adapt to its environment after some iterations. This adaptive behavior leads to a semi content-based segmentation process that performs well even in presence of noise. Experimental results show the effectiveness of the proposed segmentation method.

Object tracking is one of the major subjects in machine vision and plays a main role in detection of major events in indoor soccer matches. In this paper, a novel approach for tracking the ball and players is proposed. In this method, the ground lines are segmented and eliminated using a fast and effective method. Then, the remaining non-field pixels are considered and labeled as players and the ball. A fast level set contour is used to track players and the ball. The proposed method can track players and the ball in presence of occlusion. Experiments show that the proposed method is robust to occlusion and different field colors.

In this paper, we introduce a refinement approach to develop probabilistic programs formally. To achieve this goal, we first present a way to specify probabilistic programs in a Z-based notation. We then use an existing method of translating Z into a refinement calculus to transform our Z-style specifications of probabilistic programs into specification statements of the refinement calculus. We finally add new laws to the refinement calculus helping us to refine the resulting specification statements into probabilistic choice constructs of a probabilistic imperative language. In this way, we will provide a completely formal way for developing probabilistic programs.