巩固
发表于 2025-3-26 23:07:43
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
发表于 2025-3-27 02:41:20
http://reply.papertrans.cn/17/1622/162181/162181_32.png
Benign
发表于 2025-3-27 06:08:04
http://reply.papertrans.cn/17/1622/162181/162181_33.png
高调
发表于 2025-3-27 12:10:00
http://reply.papertrans.cn/17/1622/162181/162181_34.png
grieve
发表于 2025-3-27 13:35:55
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
荧光
发表于 2025-3-27 19:57:22
http://reply.papertrans.cn/17/1622/162181/162181_36.png
增长
发表于 2025-3-27 22:51:37
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
不规则
发表于 2025-3-28 03:45:24
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
弄脏
发表于 2025-3-28 08:44:09
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
发表于 2025-3-28 11:54:11
http://reply.papertrans.cn/17/1622/162181/162181_40.png