基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。 ...
/dl/126259.html
标签: 自动 机器学习 推理机 程序
上传时间: 2013-11-30
上传用户:GavinNeko
文件自动解压缩程序
/dl/126282.html
标签: 自动 程序 解压
上传时间: 2015-03-09
上传用户:rocwangdp
VB程序员考核自动阅卷系统的设计与实现
/dl/126625.html
标签: VB程序 自动 阅卷系统
上传时间: 2015-03-10
上传用户:541657925
语音自动应答系统的实现
/dl/126661.html
标签: 语音 自动应答
上传用户:thuyenvinh
计算机管理系统可以实现开机时自动运行,用户只有登陆以后才能进入计算机,可以自动记录用户登陆时间注销时间,及登陆总时间
/dl/126853.html
标签: 计算机管理系统 开机 自动 运行
上传时间: 2013-12-28
上传用户:3到15
程控交换机电话自动计费软件,开发环境PB,无密码
/dl/126889.html
标签: 程控交换机 电话 自动 计费
上传用户:lhc9102
电话超市管理,利用C++BUILDER开发的一款管理电话超市的软件,有服务端和用户端,管理超市里电话开通及通话时间,并有自动计费功能~
/dl/127054.html
标签: BUILDER 电话 服务端 用户
上传时间: 2013-12-19
上传用户:时代电子小智
doxygen(一个自动从源代码生成文档的工具)的源代码,可以在Win32/Linux/Unix上编译通过。
/dl/127109.html
标签: doxygen 源代码 自动 文档
上传时间: 2014-12-04
上传用户:缥缈
汉字字模提取程序,自动生成C语言字库,自己编写的,有用的着的可以用一下,需要UCDOS的字库
/dl/127269.html
标签: UCDOS 字库 汉字 字模提取
上传时间: 2015-03-11
上传用户:zsjzc
ASFR+是在ASFRecorder的基础上的改进版本,它可以: ◇支持中文文件名. ◇多线程下载ASF文件. ◇断点续传,自动重试. ◇支持MMS(TCP)协议和HTTP协议(自动探测). ◇在下载时修正数据,确保100%与原文件相同.
/dl/127344.html
标签: ASFRecorder ASFR HTTP ASF
上传用户:xg262122
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机