登录
首页 » Others » sf.tar

sf.tar

于 2011-01-25 发布 文件大小:611KB
0 235
下载积分: 1 下载次数: 4

代码说明:

  携带证明的代码的例子,在安装coq之后可以直接运行的,入门级别的(Examples of proof carrying code, directly after the installation to run coq, entry-level)

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • OMUD-DS-CDMA-Multi-Path2_users
    Optimum MUD for DS-CDMA in Multi-Path Fading Channel 2 USERS( Optimum MUD for DS-CDMA in Multi-Path Fading Channel 2USERS)
    2014-11-20 11:36:36下载
    积分:1
  • xiaobojiangzao
    与前边的程序配套使用,模拟实现小波去噪。(And in front of the program to simulate the matching, wavelet denoising.)
    2013-11-29 16:29:44下载
    积分:1
  • site.tar
    emplyment agency script
    2013-12-10 07:39:40下载
    积分:1
  • @smosvctutor
    非平衡数据集的分类问题经常出现在许多实际应用中.支持向量机在处理这一类问题时,整体分类性能比较低.为此,Veropoulos提出的采用不同惩罚系数的改进算法可以较好的解决此类问题.此外,可以利用序列最小优化算法简单快速的解决上述优化问题.(Non-equilibrium data sets classification problems often appear in many practical applications. Support Vector Machine in dealing with this type of issue, the overall classification performance is relatively low. To this end, Veropoulos proposed punishment coefficient using different algorithms can improve the better solution such issues. In addition, can use the Sequential Minimal Optimization algorithm is simple and fast solution to the above optimization problem.)
    2008-01-08 21:43:04下载
    积分:1
  • jisuanqi4
    计算器的功能实现程序,该程序一多次仿真通过,健壮好用(There was a new quiz show on television last night, but we were just outside and sitting down to dinner when it came on.)
    2013-11-20 21:19:37下载
    积分:1
  • pv_array
    PV cell simulation in Matlab
    2013-05-01 02:59:30下载
    积分:1
  • matlabfunctiontrain
    这是一个讲解MATLAB 函数方面的电子书,可以让我们对MATLAB的函数更加了解。(This is a MATLAB function to explain aspects of e-books, allow us to better understand the function of MATLAB.)
    2009-12-06 23:04:17下载
    积分:1
  • matlab
    金融数量分析--基于MATLAB编程Mcode(Financial quantitative analysis- based on MATLAB programming Mcode)
    2011-08-31 18:21:28下载
    积分:1
  • num
    数字识别,通过matlab对0-9几各简单的数字进行识别(Digital identification)
    2014-01-16 11:32:21下载
    积分:1
  • Kuramoto
    Kuramoto code for coupled particle systems
    2018-11-03 12:21:32下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载