- 博客(2)
- 收藏
- 关注
RSS订阅转载 形式化开发方法-时态逻辑
Kripke结构: 三元组M = （W, R, L）称为Kripke结构（模型），其中W是可能世界的非空集合；R Í W´W是可能世界W上的二元关系；L：W®2P （P为原子公式集合）是标记函数，它是对各可能世界的真值指派，即对每个原子公式，指明它在每个可能世界中取真值还是假值。在Kripke结构模型中，对于"sÎW，R(s)= {tÎW| ÎR}，称为可能世界s的1步可达可能
2016-10-25 09:31:33
1398
1
原创 读书笔记-推荐系统实战：第一章
1.1什么是推荐系统推荐系统是联系用户和信息的桥梁，帮助用户发现有用的信息，帮助信息展现给需要它的用户。推荐系统的基本任务是联系用户和信息，解决信息过载的问题。推荐系统的应用方法有6种：基于内容的推荐，基于协同过滤的推荐，基于社区的推荐，基于人口统计学的推荐，基于知识的推荐以及混合推荐系统等。其中最常用的是前三种：1.2 个性化推荐系统的应用个性化推荐系统需
2016-10-04 15:59:21
638
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人