We propose a new switching criterion, namely the evenness or unevenness of the distribution of variable weights, and use this criterion to combine intensification and diversification in local search for SAT. We refer to the ways in which state-of-the-art local search algorithms adaptG2WSATP and VW select a variable to flip, as heuristic adaptG 2WSATP and heuristic VW , respectively. To evaluate...

  In this paper flexible job-shop scheduling problem (FJSP) is studied in the case of optimizing different contradictory objectives consisting of: (1) minimizing makespan, (2) minimizing total workload, and (3) minimizing workload of the most loaded machine. As the problem belongs to the class of NP-Hard problems, a new hybrid genetic algorithm is proposed to obtain a large set of Pareto-optima...

Neural networks (NNs) are discriminative classifiers which have been successfully integrated with hidden Markov models (HMMs), either in the hybrid NN/HMM or tandem connectionist systems. Typically, the NNs are trained with the framebased cross-entropy criterion to classify phonemes or phoneme states. However, for word recognition, the word error rate is more closely related to the sequence cla...

We propose a hybrid forecast model based on discrete grey-fuzzy Markov and grey –neural network model and show that our hybrid model can improve much more the performance of forecast than traditional grey-Markov model and neural network models. Our simulation results are shown that our hybrid forecast method with the combinational weight based on optimal grey relation degree method is better th...

traditional leveraging statistical methods for analyzing today’s large volumes of spatial data have high computational burdens. to eliminate the deficiency, relatively modern data mining techniques have been recently applied in different spatial analysis tasks with the purpose of autonomous knowledge extraction from high-volume spatial data. fortunately, geospatial data is considered a proper s...

We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities for reasoning about individual states in a model. This framework, coalgebraic hybrid logic, works at the same level of generality as coalgebraic modal logic, and in particular subsumes, besides normal hybrid logics such as hybr...

In this paper, a new error criterion for block based motion estimation in a hybrid video coder is proposed. Traditionally, the mean squared error between the current and the previous frames has been considered as an appropriate criterion for selecting the displacement vectors in hybrid video coders. In this work, it is shown that when the spatial domain coder is based on a DCT and dynamic bit a...

Kohonen's Self-Organizing Maps do not possess a canonical criterion that characterizes their organization state. Therefore, to be able to optimize e.g. their topology, adequate tness criteria have to be found. The paper introduces, analyzes and discusses three criteria, a criterion derived from the quantization error, a Hebbian and a hybrid measure incorporating favourable properties of both me...