- 综合排序
- 最热优先
- 最新优先
不完全信息下的最优决策与可判定POMDP研究
不完全信息下的最优决策文章《Revelations: A Decidable Class of POMDP with Omega-Regular Objectives》荣获AAAI 2025会议杰出论文奖
16410编辑于 2025-09-18- 来自专栏韩曙亮的移动开发专栏
【计算理论】可判定性 ( 通用图灵机和停机问题 | 可判定性 与 可计算性 | 语言 与 算法模型 )
Turing-recognizable ) , 那么称该语言是 补集可计算的 ( co-Turing-recognizable ) ; 判定 = 可计算 + 补集可计算 : 如果一个语言是 可判定的 ( Decidable
1.7K00编辑于 2023-03-28 - 来自专栏Java 文苑
术语 | 图灵完备语言（Turing-Complete Language）
And thirdly, was mathematics decidable ?（数学是可判定的吗？） 希尔伯特的第三个问题又被称为判定性问题（Entscheidungsproblem）。
3.1K00发布于 2021-03-21 - 来自专栏零域Blog
「SF-PLF」7 Stlc
looks like need need another environment to look up A… Typable / Deciable decidable type system = decide
52420编辑于 2022-03-02 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
Turing-recognizable ) , 那么称该语言是 补集可计算的 ( co-Turing-recognizable ) ; 判定 = 可计算 + 补集可计算 : 如果一个语言是 可判定的 ( Decidable
99600编辑于 2023-03-28 - 来自专栏零域Blog
「SF-PLF」11. TypeChecking
**) | Some (Arrow T T' ),Some T => ... the answer is NO because this demands a decidable equality.
39910编辑于 2022-03-02 - 来自专栏零域Blog
「SF-LC」7 Ind Prop
reg_exp is recursive, Coq won’t accept it always terminates theoritically, the regex = DFA so it is decidable
86820编辑于 2022-03-14 - 来自专栏arXiv每日学术速递
人工智能学术速递[12.10]
The implementation of the proposed tools is accessible here [link]. 【19】 Complexity assessments for decidable
1.1K10编辑于 2021-12-10 - 来自专栏arXiv每日学术速递
机器学习学术速递[6.23]
Theoretically, we show that the pCTL model checking approach is decidable for relational MDPs even for
2.1K20发布于 2021-07-02
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号