资源列表
xcthulhu-Cayley_Theorem-b17e9e0.tar
- Formal verification of Cayley s representation theorem in Isabelle/HOL
2-(1)
- 神经网络方面的书籍，包括BP，自适应等网络应用-Neural networks books, including BP, adaptive and other network applications
erchashu
- 二叉树的建立，先序、中序、后序、层序遍历（递归和非递归方法），二叉树的高度、繁茂度，交换左右子树，统计叶子节点的数目，判断是否为完全二叉树，按树的形态在屏幕上打印输出；-failed to translate
histogramequalization
- In histogram equalization we are trying to maximize the image contrast by applying a gray level transform which tries to flatten the resulting histogram. The gray level transform is a scaled version of the original image s cumulative histogram. That
2-(3)
- 粗糙集方面的书籍，可进行数据挖掘等数据处理-Rough set of books, data mining and other data can be handled
Huffman
- 对一篇英文文章，统计各字符出现的次数，实现Huffman编码， 以及对编码结果的解码 -Of an article in English, statistics, the number of occurrences of each character, to achieve Huffman encoding, and decoding of the coded results
huffman-text-compression
- huffman文本压缩，利用huffman代码来压缩文本，压缩效率高-huffman text compression，Huffman code used to compress text, compression efficiency
xcthulhu-Int_Logic-838502a.tar
- Intuitionistic Logic developed in Isabelle/HOL, using a shallow embedding of the lambda-calculus by way of the Curry-Howard isomorphism
psozq
- 灰度图像的增强，效果相当可以，可以实现灰度图像的对比度增强-Gray-scale image enhancement, the effect can be considerable, can enhance the contrast of gray image
deltaE2000
- matlab zip format line
bianchanggaihua
- 可以实现大地测量中的边长改化，简单易行，运算速度快。-Geodesy can change in the technology side, simple, fast operation.
migong
- 输入详细的矩阵内容求出你输入矩阵的课走路径，并且输出-Details of the contents of the input matrix derived classes you take the path of the input matrix and output