new improved system for the Beijing

遗传算法程序，是用java编写的，适合学习最优化的朋友来作为参考-Genetic Algorithm is used in the preparation of java, the most suitable learning optimized reference to a friend

一个经典的C语言遗传算法程序包，可直接用来开发遗传算法的应用程序-a classic genetic algorithm C language package can be used directly for the development of the genetic algorithm application

HMM用于人脸识别，从OPENCV里提取出来的,非常经典的说-HMM for face recognition, OPENCV extract from the very classical said

遗传算法的源程序，对于初学者有很大帮助，建议多-Genetic algorithm source code, are very helpful for beginners, the proposed multi-

这是台湾张智星的模式识别的课件的源码，包括GMM和data clusting-This is the star pattern recognition Zhang Zhi courseware source, including the GMM and data clusting

D星算法，是A星算法的动态版本，都是基本的路径规划算法-D Star algorithm, stars are A dynamic version of the algorithm is the basic path planning algorithm

遗传算法原程序，并行算法，原代码，随机搜索算法-GA original program, parallel algorithm, the original code, random search algorithm

学习遗传算法的标准入门程序,这是我当初入门的时候用的。-Perfect code to learn genetic algorithm

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

模式识别中的CYK算法-pattern recognition algorithm for the CYK