Coq proof code statistic Coq 证明代码统计
I have read a statistic that says a typical programmer writes a bug for every 10 lines of code.
我看到过一篇统计，指出一般的程序员在每10行代码中会出现一个错误。
The experiment result show that the code table which is made by image Lena can fit for many different statistic feature images to make vector quantizations.
实验结果表明，我们获得的码本具有较好的通用性，能够针对不同统计特性的图像进行良好的矢量量化。
In this paper, a new robust digital audio watermarking algorithm against desynchronization attacks is proposed, in which the audio statistic characteristics and synchronization code are utilized.
结合数字音频时频域统计特性及同步码技术，提出了一种可有效抵抗去同步攻击的混合域数字音频水印嵌入算法。
应用推荐