自动测试csp的程序，我编写的工具，自动测试25个函数，很好用！
标签： csp 自动测试 程序
上传时间： 2014-06-21
上传用户：海陆空653
自动递归删除文件的工具程序
标签： 自动 删除 程序 递归
上传时间： 2013-12-26
上传用户：gundan
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
Zlib压缩库的COM接口
标签： Zlib COM 接口
上传时间： 2014-01-23
上传用户：jiahao131
G.72音频压缩传输协议
标签： 72 音频压缩 传输协议
上传时间： 2015-03-09
上传用户：小宝爱考拉
这是一个基于LZARI算法的数据压缩的类.Haruhiko Okumura 于1989年7月4日用C语言写实现了这个算法.但是上面用到了一些全局或静态的变量,在MFC下用起来很不方便.作者把它改写成了一个C++类,使它可以方便的压缩和解压缩。
标签： Haruhiko Okumura LZARI 1989
上传时间： 2013-12-18
上传用户：thinode
数据压缩技术概论(PPT)
标签： 数据 压缩技术
上传时间： 2014-07-04
上传用户：chenxichenyue
G711语音压缩源码
标签： G711 语音压缩 源码
上传用户：himbly
VB程序员考核自动阅卷系统的设计与实现
标签： VB程序 自动 阅卷系统
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
标签： 语音 自动应答
上传用户：thuyenvinh
