Genetic programming is an emerging technology of evolutionary computation and ha...

C++神经网络开发包,基于C++语言，VisualC++环境-C++ Neural network development package, based on the C++ Language, VisualC++ Environment

利用逻辑编程语言prolog的空间关系组合推理程序。利用的理论是约束处理规则，和空间关系表示 -use logic programming language prolog combination of the spatial relationships reasoning process. The theory is the use of binding rules, and spatial relations

A*算法，迷宫寻路，初步解析A*算法如何在迷宫寻路-Astar

Fast ICA，一种ICA的快速算法，有完整的论文（两种格式，pdf和ps的）-Fast ICA, the ICA a fast algorithm, a complete paper (both formats, pdf and ps)

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

基本遗传学习分类系统，C++源代码-The basic classification system for genetic study, C++ Source code

一篇研究遗传算法的人都必须看的文章，是国内遗传算法研究的泰斗！-A well know article in the field of genetic algorithm.The writer is very famous in our country

经典的粒子群源代码！详细的备注、严谨的语句是初学粒子群的好东西-The classical particle swarm source code! Detailed comments, rigorous statement is a good thing novice PSO

利用 免疫算法求解TSP问题 可以精确求出50个城市-Using immune algorithm for solving TSP problems can be accurately calculated 50 cities

自动地分类和聚集文档，可以选择作为一个Web服务。这个程序完全是用Java编写的，利用了 Weka机器学习工具包。-automatic classification and gathering documents, we can choose as a Web service. This procedure is completely written in Java, Weka use of machine learning kits.