Titlebook: Artificial Intelligence and Computational Intelligence; International Confer Fu Lee Wang,Hepu Deng,Jingsheng Lei Conference proceedings 201

鞏固

Satisfiability Degree Analysis for Transition System. The technique of satisfiability degree (SD) for model checking is a efficient way to solve this problem. Finite paths transition system (FPTS) for calculating satisfiability degree of a LTL logic formula is given. Then, a more general situation about discrete-time Markov chains (DTMCs) is discusse

adequate-intake

Benign

高調(diào)

grieve

Magnetic Field Extrapolation Based on Improved Back Propagation Neural Networkvaluate magnetic field firstly. Underwater field can be measured easily, but upper air field is hard to be got. To achieve it, a model able to predict upper air magnetic field from underwater measurements is required. In this paper, a Back Propagation (BP) model has been built and it can escape from

熒光

增長

Multisensor Image Fusion Using a Pulse Coupled Neural Networkes from different sensors, in order to enhance visualization for surveillance. On the basis of standard mathematical model of pulse coupled neural network, a novel step function is adopted to generate pulses. Subjective and objective image fusion performance measures are introduced to assess the per

不規(guī)則

Real-Time Performance Reliability Assessment Method Based on Dynamic Probability Modelacquired in practice. To solve this problem, a real-time reliability assessment method based on Dynamic Probability Model is proposed. The primary step is to establish a Dynamic Probability Model on the basis of nonparametric Parzen window estimating method, and the sliding time-window technique is

弄臟

Decomposing Data Mining by a Process-Oriented Execution Planitional black box approach focuses on specific algorithm improvements and is not flexible enough to be used for more general optimization and beneficial component reuse. The work presented in this paper elaborates on decomposing data mining tasks as data mining execution process plans which are comp

SLING