• 博客园logo
  • 会员
  • 周边
  • 新闻
  • 博问
  • 闪存
  • 赞助商
  • YouClaw
    • 搜索
      所有博客
    • 搜索
      当前博客
  • 写随笔 我的博客 短消息 简洁模式
    用户头像
    我的博客 我的园子 账号设置 会员中心 简洁模式 ... 退出登录
    注册 登录
 






minor_second

 
 

Powered by 博客园
博客园 | 首页 | 新随笔 | 联系 | 订阅 订阅 | 管理
上一页 1 ··· 7 8 9 10 11 12 下一页

2021年11月2日

[paper reading][Neurocomputing 2018] An overview on Restricted Boltzmann Machines
摘要: Neurocomputing 2018 https://www.sciencedirect.com/science/article/pii/S0925231217315849?casa_token=NvLW1wNtF_MAAAAA:EtHSzBQN_W8Xxs64PlfzKltGWXT-72Uvtc 阅读全文
posted @ 2021-11-02 11:58 minor_second 阅读(110) 评论(0) 推荐(0)
 
[paper reading][IJCAI 2020] Turning 30: New Ideas in Inductive Logic Programming
摘要: IJCAI 2020 https://www.ijcai.org/proceedings/2020/0673.pdf A short survey on ILP. recursive, generalize, learning BK, ASP, NN, future directions 3 Lea 阅读全文
posted @ 2021-11-02 09:05 minor_second 阅读(54) 评论(0) 推荐(0)
 
[paper reading][Book 2006] A Tutorial on Energy-Based Learning
摘要: Predicting Structured Data 2006 this paper: written by LeCun http://yann.lecun.com/exdb/publis/orig/lecun-06.pdf A tutorial on energy-based learning, 阅读全文
posted @ 2021-11-02 01:19 minor_second 阅读(93) 评论(0) 推荐(0)
 
[paper reading][work in progress 2020] Inductive logic programming at 30: a new introduction
摘要: work in progress 2020 https://arxiv.org/abs/2008.07912 A review of inductive logic programming (ILP), which is a form of machine learning dating back 阅读全文
posted @ 2021-11-02 01:05 minor_second 阅读(78) 评论(0) 推荐(0)
 

2021年11月1日

数字信号处理学习笔记简介
摘要: 专栏简介与声明 本专栏链接:https://www.cnblogs.com/minor-second/category/2054480.html 使用教材 本专栏是《数字信号处理》(第2版)个人复习博客系列。 ISBN: 9787301175941 专栏使用方法 本专栏以一问一答的形式对疑难点做出适 阅读全文
posted @ 2021-11-01 13:39 minor_second 阅读(143) 评论(0) 推荐(0)
 
TCS学习笔记[2] Ackermann函数,字函数,习题
摘要: 2 原始递归函数 2.6 Ackermann函数 Q: Ackermann函数的递归相比之前的各种递归有什么本质区别和联系? A: 观察$A(k+1,x+1)=A(k,A(k+1,x))$,相比之前一般的多变量递归表达式$B(k+1,x+1)=g(k,x,B(k+1,x),B(k,x+1))$,外层 阅读全文
posted @ 2021-11-01 13:17 minor_second 阅读(139) 评论(0) 推荐(0)
 

2021年10月31日

TCS学习笔记[1] 原始递归函数
摘要: 2 原始递归函数 2.1 原始递归函数 Q: 证明合成、原始递归保持可计算性的思路是什么? A: 写一段$\mathscr S$程序计算相应函数。 合成:顺序结构。 原始递归:循环结构。(更具体地,用一个变量$Z$表示不断增长的$t$,$Z$每次+1,而$X_{n+1}$每次-1,当$X_{n-1} 阅读全文
posted @ 2021-10-31 16:12 minor_second 阅读(1315) 评论(0) 推荐(0)
 
TCS学习笔记[0] 程序设计语言S 可计算函数
摘要: 1 程序设计语言$\mathscr S$和可计算函数 1.1 预备知识 Q: 本节考察的函数和一般数学书中的函数有什么异同? A: 把部分函数简称为函数(可能定义域中只有一部分有对应的函数值,其余无定义) 注:处处无定义称为空函数。 注:在本课程中,考虑的往往是$Nn\to N(其中N={0,1,\ 阅读全文
posted @ 2021-10-31 11:25 minor_second 阅读(453) 评论(0) 推荐(0)
 
TCS学习笔记简介
摘要: 专栏简介与声明 本专栏链接:https://www.cnblogs.com/minor-second/category/2053938.html 使用教材 本专栏是《可计算性与计算复杂性导引》(第3版)个人复习博客系列。 ISBN: 9787301177686 专栏使用方法 本专栏以一问一答的形式对 阅读全文
posted @ 2021-10-31 04:31 minor_second 阅读(236) 评论(0) 推荐(0)
 

2021年10月30日

约束式编程学习笔记[6] local consistency (2) 剪二元乃至多元约束
摘要: 5 Local consistency notions 5.5 Path consistency Q: 解说"normalized CSP"和"universal relation"的关系。 A: normalized CSP要求每个二元子序列最多有一个约束(唯一性)。如果我们进一步希望“存在唯一” 阅读全文
posted @ 2021-10-30 19:25 minor_second 阅读(197) 评论(0) 推荐(0)
 
上一页 1 ··· 7 8 9 10 11 12 下一页