-
基于自动学习的逻辑推理机。程序…
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction.
- 2022-12-19 10:50:03下载
- 积分:1
-
遗传算法中的简单遗传算法,用matlab实现。
遗传算法中的简单遗传算法,用matlab实现。-genetic algorithm simple genetic algorithm, using Matlab to achieve.
- 2022-01-26 07:58:48下载
- 积分:1
-
A program of Harris corner points test writen by VC.We can call is as plessey,it...
VC写的harris角点检测程序。又名plessey,最经典也是目前效果最好的算法,比susan抗噪要好(实际的讲)-A program of Harris corner points test writen by VC.We can call is as plessey,it is the best algorithm.It better than susan from real useful point.
- 2022-03-07 12:22:38下载
- 积分:1
-
PROJECT is a c library, it is aimed at individual _ Agent
Biome是一个c++库,它的目的是个人_基于代理的模拟器(象 Swarm 或EcoSim)。它试图尽可能达到高效并且同时有好的设计-PROJECT is a c library, it is aimed at individual _ Agent-based simulator (like Swarm or EcoSim). It seeks to achieve efficient as possible while it is good design
- 2022-01-25 20:23:29下载
- 积分:1
-
neural networks and genetic algorithms combine
神经网络与遗传结合算法-neural networks and genetic algorithms combine
- 2023-05-16 15:35:03下载
- 积分:1
-
这是一个遗传算法中所目标优化的问题,请大家借鉴,
这是一个遗传算法中所目标优化的问题,请大家借鉴,-This is a genetic algorithm-objective optimization in the issue and we learn from
- 2022-01-25 22:46:35下载
- 积分:1
-
使用模拟退火思想解决图着色(GCP)问题,使用先看说明文件...
使用模拟退火思想解决图着色(GCP)问题,使用先看说明文件-??用??拟退 火??想 ???鐾 ??派???GCP ??问题 ????用先 ?
- 2022-01-21 03:51:32下载
- 积分:1
-
matlab神经网络代码
matlab神经网络代码-Matlab neural network code
- 2022-01-22 02:32:30下载
- 积分:1
-
该文档是清华大学的模式识别教程,该版本是网页版本,浏览非常方便,内容也非常详细,非常适合初学者,个人举得特别是支持向量机那一章描述很棒!...
该文档是清华大学的模式识别教程,该版本是网页版本,浏览非常方便,内容也非常详细,非常适合初学者,个人举得特别是支持向量机那一章描述很棒!-this document is from Tsinghua University,this is the html version,it is convenient to read, it is very suitable for the elementary readers,in my own opinion,the charter of svm is very detail and easily understandable.
- 2022-09-22 11:50:03下载
- 积分:1
-
使用最小二乘支持向量机对多维pyrim数据进行回归,需要下载最小二乘支持向量机工具箱。...
使用最小二乘支持向量机对多维pyrim数据进行回归,需要下载最小二乘支持向量机工具箱。-use of least squares support vector machines for multidimensional data pyrim return need to download least squares support vector machines toolbox.
- 2022-11-16 11:40:03下载
- 积分:1