登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • XYZ_NEU
    XYZ转NEU坐标,非常实用,可以学习下,matlab(XYZ too NEU)
    2012-05-07 22:05:04下载
    积分:1
  • distortiontest
    正弦信号加载2 的白噪声后的功率频谱图以及加载后的失真度计算(Sinusoidal signal loading of 2 white noise power spectrum and the calculated distortion after loading)
    2013-10-31 18:29:02下载
    积分:1
  • tutorial3
    tutorial MATLAB part 3
    2009-10-16 10:21:46下载
    积分:1
  • 00000
    说明:  搭建切换系统的模块,很有用的哦,在此基础上很容易搭建时滞系统的仿真模块哦,还可以提出宝贵的意见修改哦(it is very useful for you to simulation a switched system)
    2011-04-17 23:09:39下载
    积分:1
  • RGBtoLab
    RGB color channel to XYZ channel. XYZ channel to CIELab channel.
    2013-09-02 17:23:20下载
    积分:1
  • Untitled
    ls ber performance OF OFDM CHANNEL WHICH shows why ls in ofdm is better than other.
    2013-12-17 21:25:15下载
    积分:1
  • NA
    说明:  数值分析的matlab解法,包含了一般通用的算法 (Numerical analysis matlab solution, including the general general algorithm)
    2009-09-29 21:36:37下载
    积分:1
  • fd1d_abc_diel
    Chapter 1 - Dieletric Sullivan
    2010-08-12 11:43:19下载
    积分:1
  • automatic-Emotion-predictor-sytem
    A working setup that focuses on dimensional prediction of emotions from spontaneous conversational head gestures. It maps the amount and direction of head motion, and occurrences of head nods and shakes into arousal, expectation, intensity, power and valence level of the observed subject as there has been virtually no research bearing on this topic. Preliminary experiments show that it is possible to automatically predict emotions in terms of these five dimensions (arousal, expectation, intensity, power and valence) from conversational head gestures. Dimensional and continuous emotion prediction from spontaneous head gestures has been integrated in the SEMAINE project [
    2013-11-26 22:40:05下载
    积分:1
  • 1
    说明:  matlab简单例程,可以熟悉矩阵的建立、提取、逻辑循环等功能(matlab simple routine, familiar with the matrix can be set up, extraction, logic cycle and other functions)
    2010-07-21 18:02:19下载
    积分:1
  • 696518资源总数
  • 105540会员总数
  • 37今日下载