HIGHLIGHT TRUE #define NOHIGHLIGHT FALSE #define UPDATE TRUE #define NOUPD...

Robocup机器人小程序,实现了机器人的射门,但机器人之间的配合没有实现-Robocup robot small programs to achieve the goal of a robot, but the robot between the not achieved

基于图像处理的相机自动调焦系统，开发环境：VC。~..~-based on image processing camera auto-focusing system, development environment : VC. ~ ~ ..

本程序是用java语言编写的数据挖掘分类算法中的决策树分类方法c4.5程序代码-this procedure is used java language classification of data mining algorithms decision tree classification code Bank

一个坦克大战的源码，适合VC初学者，希望对大家有所帮助！-a Tankedaizhan source code, suitable for beginners VC, and I hope to help you!

人工神经网络算法研究及应用 田景文.包括神经网络、遗传算法、小波网络、模拟退火算法和支持向量机，清晰易懂，非常值得一看。-Artificial Neural Network Algorithm Research and Application田景文. Including neural networks, genetic algorithms, wavelet networks, simulated annealing algorithm and support vector machine, clear and easy to understand, is a must see.

这是一本比较详细介绍进化算法的电子书，是pdf格式的。-This is a more detailed introduction of the e-book evolution algorithm is pdf format.

数据挖掘中k-means聚类算法的实现源代码-clustering algorithm source code in data mining

kmeans算法的java描述，我自己编写的，可以运行的-java kmeans algorithm description, I am prepared, ready-to-run

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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.

遗传算法示例程序-GA sample program