倦鸟已归时

摘要： Big-step Semantics, Small-step Semantics, Hoare Logic, Isabelle 阅读全文

posted @ 2022-12-28 10:39 倦鸟已归时阅读(376) 评论(0) 推荐(0) 编辑

摘要：用于音频处理阅读全文

posted @ 2022-12-26 22:11 倦鸟已归时阅读(1457) 评论(0) 推荐(0) 编辑

摘要：简单的线性判别函数计算阅读全文

posted @ 2022-12-25 14:30 倦鸟已归时阅读(165) 评论(0) 推荐(0) 编辑

摘要：凸集和凸函数、单峰函数、拟凸函数的定义和例子阅读全文

posted @ 2022-12-07 13:57 倦鸟已归时阅读(1666) 评论(0) 推荐(0) 编辑

摘要：一致性哈希，及其存储结构与问题解决阅读全文

posted @ 2022-12-04 22:47 倦鸟已归时阅读(18) 评论(0) 推荐(0) 编辑

摘要：计算文档的相似性，通常使用Jaccard系数，但是在大数据下Jaccard计算复杂度很高，由此出现了MinHash方法来近似计算。更高效的方法为LSH。阅读全文

posted @ 2022-12-01 23:50 倦鸟已归时阅读(330) 评论(0) 推荐(0) 编辑

摘要： logistics 阅读全文

posted @ 2022-11-21 20:29 倦鸟已归时阅读(2575) 评论(0) 推荐(0) 编辑

摘要：通过素数因子的方法来优化筛法，能达到最高效的素数筛，直接寻找出所有素数，而不是删掉合数。阅读全文

posted @ 2022-11-18 15:00 倦鸟已归时阅读(91) 评论(0) 推荐(0) 编辑

摘要：矩阵的秩是理解线性空间和矩阵代数的重要概念，矩阵的秩有非常多的定义形式，也有许多结论。充分理解这些定义和结论对于提升抽象思维具有很好的帮助。阅读全文

posted @ 2022-11-12 19:02 倦鸟已归时阅读(1119) 评论(0) 推荐(0) 编辑

摘要：记录很多见到过的很厉害的TTS模型和应用，并记录一些经典文献阅读全文

posted @ 2022-11-12 15:53 倦鸟已归时阅读(1107) 评论(0) 推荐(0) 编辑

人能常清静，天地悉皆归。