A Decomposition Strategy and Component based Approach to Specification and Verif
用户评论
推荐下载
-
A novel ensemble pruning algorithm based on randomized greedy selective strategy
Although the Directed Hill Climbing Ensemble Pruning (DHCEP) algorithm has achieved favorable classi
32 2021-02-23 -
Timeout Strategy based Mobility Management for Software Defined Satellite Networ
Timeout Strategy-based Mobility Management for Software Defined Satellite Networks
8 2021-02-17 -
Distributed filtering based on weighted average strategy in unreliable sensor ne
Distributed filtering based on weighted average strategy in unreliable sensor networks
7 2021-02-19 -
Research on the Integration Strategy of Group Recommendation Based on User s Int
Research on the Integration Strategy of Group Recommendation Based on User's Interactive Behaviors
9 2021-02-17 -
Implicit Lyapunov based control strategy for closed quantum systems with dipole
In this paper, the state transfer of finite dimensional closed quantum systems with dipole and polar
15 2021-02-09 -
Integrating Active Learning Strategy to the Ensemble Kernel based Method for Pro
This paper presents an ensemble kernel-based active learning method for PPI (Protein-protein interac
26 2021-02-09 -
Specification of temperature screening system based on infrared imaging
基于红外成像的体温筛查系统规格书 Specification of temperature screening system based on infrared imaging
23 2020-07-17 -
论文研究Name Based Socket An approach for Android Based System.pdf
基于安卓系统的名字套接字研究与实现,阿哈迈德,徐明伟,网络IP地址管理已经变得越来越复杂,对于应用程序来说,使IP地址管理复杂性加剧的原因主要是IP地址的更新以及网关的地址转换。随着
29 2019-09-15 -
论文研究A quantitative assement approach of component security level.pdf
一种构件安全等级定量评估方法,陈锦富,王环环,第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一。鉴于目前还没有对构件安全性等级进行定量评估的框架及测试方法,
12 2020-07-19 -
Group based image decomposition using3D cartoon and texture priors
Group-based image decomposition using 3-D cartoon and texture priors
14 2021-04-04
暂无评论