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

In this paper we propose a new integration method for multi-feature object tracking in a particle filter framework. We divide particles into separate clusters. All particles within a cluster measure a specific feature. The number of particles within a cluster is in proportion to the reliability of associated feature. We do a compensation stage which neutralizes the effect of particles weights mean within a cluster. Compensation stage balances the concentration of particles around local maximal. So, particles are distributed more effectively in the scene. Proposed method provides both effective hypothesis generation and effective evaluation of hypothesis. Experimental results over a set of real-world sequences demonstrate better performance of our method compared to the common methods of feature integration.

This paper introduces a revisited hybrid algorithm for function approximation. In this paper, a simple and fast learning algorithm is proposed, which automates structure and parameter identification simultaneously based on input-target samples. First, without need of clustering, the initial structure of the network with the specified number of rules is established, and then a training process based on the error of other training samples is applied to obtain a more precision model. After the network structure is identified, an optimization learning, based on the criteria error, is performed to optimize the obtained parameter set of the premise parts and the consequent parts. At the end, comprehensive comparisons are made with other approaches to demonstrate that the proposed algorithm is superior in term of compact structure, convergence speed, memory usage and learning efficiency.

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.