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






minor_second

 
 

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

2021年11月5日

[paper reading][Proceedings of the IEEE 2016] Taking the Human Out of the Loop: A Review of Bayesian Optimization
摘要: Proceedings of the IEEE 2016 https://ieeexplore.ieee.org/abstract/document/7352306 A review of BO, an optimization algorithm typically for "hyperparam 阅读全文
posted @ 2021-11-05 12:25 minor_second 阅读(59) 评论(0) 推荐(0)
 
[paper reading][ICRA 2017] Virtual vs. real: Trading off simulations and physical experiments in reinforcement learning with Bayesian optimization
摘要: ICRA 2017 https://ieeexplore.ieee.org/abstract/document/7989186 parameters of policies Entropy Search, BO algorithm combine 2 sources: cheap but inacc 阅读全文
posted @ 2021-11-05 00:08 minor_second 阅读(58) 评论(0) 推荐(0)
 

2021年11月4日

[paper reading][New Generation Computing 1986] A Logic-based Calculus of Events
摘要: New Generation Computing 1986 https://www.doc.ic.ac.uk/~rak/papers/event%20calculus.pdf use formal logic to formalize the notion of time (Horn clause 阅读全文
posted @ 2021-11-04 22:37 minor_second 阅读(51) 评论(0) 推荐(0)
 
约束式编程学习笔记[9] 涉及数的不完全求解器
摘要: 6 Some incomplete constraint solvers 6.4 Linear constraints on integer intervals Q: 本节中的linear expression为什么不需要乘法运算? A: 由于只考察整数和“整数倍”,故用不断复合加法表示乘法。 6. 阅读全文
posted @ 2021-11-04 19:43 minor_second 阅读(121) 评论(0) 推荐(0)
 
约束式编程学习笔记[8] 简单的不完全求解器
摘要: 6 Some incomplete constraint solvers Q: 解释“‘customise’ the general framework to a specific language” A: 提示:比如:用hyper-arc consistency能剪掉一些定义域,但是剪了之后的集合 阅读全文
posted @ 2021-11-04 14:25 minor_second 阅读(76) 评论(0) 推荐(0)
 
约束式编程学习笔记[7] local consistency (3) relational consistency -- the ultimate notion
摘要: 5 Local consistency notions 5.9 Relational consistency Q: relationally \((i,m)\)-consistent(后省略relationally)表示一切$m$个约束构成子序列诱导的CSP (\(\mathcal P|\mathc 阅读全文
posted @ 2021-11-04 13:12 minor_second 阅读(107) 评论(0) 推荐(0)
 

2021年11月3日

TCS学习笔记[6] 不可判定的问题
摘要: 6 不可判定的问题 6.1 判定问题 Q: $HALT(x,y)$对应什么单参数判定问题? A: \(\Pi = (N,Y_\Pi)\) \(Y_\Pi = \{x|HALT(l(x),r(x))\}\) 注:一元谓词$HALT(l(x),r(x))\(不可计算,则\)\Pi$不可判定。 Q: 记号 阅读全文
posted @ 2021-11-03 19:28 minor_second 阅读(418) 评论(0) 推荐(0)
 
TCS学习笔记[5] 过程与文法
摘要: 5 过程与文法 5.1 半Thue过程 Q: $\Rightarrow$是部分函数吗? A: 一般来说,合法的结果可能不唯一。如果做一定人为约定(比如替换第一个出现的待考察字符串)则是。 Q: $\Rightarrow$和$\mathop \Rightarrow\limits^$之间有何蕴涵关系? 阅读全文
posted @ 2021-11-03 09:40 minor_second 阅读(189) 评论(0) 推荐(0)
 

2021年11月2日

TCS学习笔记[4] Turing机
摘要: 4 Turing机 4.1 Turing机的基本模型 Q: 基本Turing机的7要素中,哪些从状态转移图容易看出?如何看出它们? A: 状态集Q显然(每个圈对应一个状态) 带字母表C显然(所有在图中出现过的字母) 动作函数$\delta$用弧上的$若干字母/L或R或字母$表示 输入字母表A并不能直 阅读全文
posted @ 2021-11-02 23:40 minor_second 阅读(351) 评论(0) 推荐(0)
 
TCS学习笔记[3] 通用程序
摘要: 3 通用程序 3.1 程序的代码 Q: 为了确定指令的代码,直观的想法是用3个自然数分别表示标号(label)、涉及的变量以及() A: 对变量执行的操作(空、增、减,或者若不为零跳转至哪个标号) Q: 从编码的角度,考察为什么规定$\mathscr S$程序中可能出现多个相同标号。 A: 为了一一 阅读全文
posted @ 2021-11-02 20:42 minor_second 阅读(290) 评论(0) 推荐(0)
 
上一页 1 ··· 6 7 8 9 10 11 12 下一页