2022 年 12月随笔档案 - 倦鸟已归时

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

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

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

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

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

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

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

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

一致性哈希通俗笔记

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

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

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

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

倦鸟已归时