- 博客(2)
- 资源 (8)
- 收藏
- 关注
RSS订阅翻译 字符串核函数的快速计算（一） 翻译
翻译：《通过字符串核函数进行文本分类》(一)第一部分开始原作者：Huma Lodhi, Craig Saunders, John Shawa-Taylor, Nello Cristianini, Chris WatkinsDepartment of Computer Science, Royal Holloway, University of LondonEditor: Bernhard Scho
2017-04-23 21:38:19
1922
原创 支持向量机 SVM 简要介绍
那些我从来没有理解过的概念（1）下面是我在学习过程中遇到的对我很难理解的概念和我抄下来的笔记主要资料来源： 《统计学习方法》，维基百科拉格朗日对偶问题是什么假设 f(x),ci(x),hj(x)f(x), c_i(x), h_j(x) 是 定义在 RnR^n 上的连续可微函数，考虑以下最优化问题：$$ \min_{x \in R^n}{f(x)} \c_i(x) \leq 0, i = 1, 2,
2017-04-09 20:20:11
1087
Partial Evaluation and Automatic Program Generation 高清 PDF
This book is about partial evaluation, a program optimization technique also known
as program specialization. It presents general principles for constructing partial
evaluators for a variety of programming languages; and it gives examples, applications, and numerous references to the literature.
2018-10-12
Lectures on the Curry-Howard isomorphism-Elsevier Science (2006) 高清 PDF
这本书通过非常清晰的语言讲述了程序与命题之间的柯里霍华德同构关系
2018-10-12
哥德尔证明 pdf 中文
《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。内容简介《哥德尔证明》是第一本既面向学者又面向非专业人士，对哥德尔证明的主要思路和广泛含义作了易读的解释的书。
2017-11-10
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人