登录
首页 » Others » while-language

while-language

于 2014-02-17 发布 文件大小:1KB
0 211
下载积分: 1 下载次数: 2

代码说明:

  Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).

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

发表评论

0 个回复

  • kalmtbx
    matlab中kalman滤波程序包,很全,实用(kalman filter in matlab package, very wide and practical)
    2007-07-23 21:35:25下载
    积分:1
  • C4_5
    说明:  数据挖掘的 MATLAB 算法源代码 希望有用(MATLAB algorithm for data mining source code hope helpful)
    2010-05-01 12:15:37下载
    积分:1
  • tdoaex
    time difference of arrival
    2013-11-08 15:51:45下载
    积分:1
  • texture
    灰度共生矩阵提取图像纹理特征,采用matlab实现,包括模糊c均值实现分类(Gray-level co-occurrence matrix texture features extracted images using matlab realize, including the realization of fuzzy c-means classification)
    2020-06-26 03:20:02下载
    积分:1
  • HiddenMarkovModel
    这是用matlab开发hmm模型,里面包含全部的有关hmm的程序,都可以使用,对于hmm的初学者来说,是极好的的学习程序。(HMM)
    2010-03-14 16:58:11下载
    积分:1
  • AC-MOTOR
    AC motor, dq transformation,
    2013-11-04 00:32:50下载
    积分:1
  • gaot2
    说明:  有关MATLAB遗传算法工具箱的一些源代码(MATLAB genetic algorithm toolbox on some source code)
    2011-04-15 18:01:05下载
    积分:1
  • fftdemo
    This example shows the use of the FFT function for spectral analysis. A common use of FFT s is to find the frequency components of a signal buried in a noisy time domain signal.
    2010-06-01 04:02:25下载
    积分:1
  • CorrelogramFrame
    Compute one frame of a correlogram. The input data is a two-dimensional array of cochlear data, each row representing firing probabilities from one cochlear channel. The output picture is a two dimensional array of width "picWidth".(Compute one frame of a correlogram. The proficient ut data is a two-dimensional array of the 11 d was observed. each row representing firing probabilities fr om one the 11 channel. The output is a picture two dimensional array of width "picWidth.")
    2006-12-11 19:30:38下载
    积分:1
  • SelPSO
    粒子群算法自适应优化版matlab源程序(Adaptive particle swarm algorithm to optimize version of matlab source )
    2013-10-17 13:09:46下载
    积分:1
  • 696516资源总数
  • 106409会员总数
  • 8今日下载