神经网络理论与Matlab7电子工业出版社原代码

利用svm结合向量机实现蛋白质相互作用预测-Svm vector machine achieved with the use of protein-protein interaction prediction

用vc开发的A*寻路算法的dll,可以在其他语言调用，包含了一个vb调用的示例-The dll file of A* road-mapping algorathm,which can be used in other language,including an example of vb.

基于遗传算法的图像模式识别 ,这个是本人收藏的有关遗传算法的源程序-based on genetic algorithm for image pattern recognition, this is my collection of the genetic algorithm source code

用Java编的人工智能的归结反演算法-Java series attributed to the anti-artificial intelligence algorithms

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.

清华大学对robocup中kick的研究源码-Tsinghua University s study robocup source of kick

利用模拟退火法求解TSP问题 可以求得50个城市的精确解-The use of simulated annealing algorithm for solving TSP problems can be obtained 50 cities Exact Solutions

遗传算法用于机器人路径规划的matlab代码-Genetic algorithms for robot path planning matlab code

很好用的一个适用程序，由Visual C＋＋编程，有收藏价值

CLustream算法实现程序-CLustream algorithm program! ! ! ! ! ! ! ! ! ! ! ! ! ! !