机构

• 软件研究所 [10]
• 计算技术研究所 [2]

采集方式

• OAI收割 [12]

内容类型

• 会议论文 [6]
• 期刊论文 [6]

发表日期

• 2020 [1]
• 2016 [1]
• 2011 [3]
• 2009 [1]
• 2008 [1]
• 2006 [3]
• 更多

学科主题

• Mathematic... [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Asynchronous Computability Theorem in Arbitrary Solo Models 期刊论文  OAI收割 MATHEMATICS, 2020, 卷号: 8, 期号: 5, 页码: 18 作者:  Yue, Yunguang;  Lei, Fengchun;  Liu, Xingwu;  Wu, Jie   |  收藏  |  浏览/下载：15/0  |  提交时间：2020/12/10 distributed computing  asynchronous computability  solo model  solvability  combinatorial topology   Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016, 卷号: 82, 期号: 8, 页码: 1283-1299 Barmpalias, G; Fang, N; Lewis-Pye, A   |  收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09 Halting probability  Oracle use  Oracles  Optimal  Asymptotic  Kolmogorov  Completeness  Computability  Complexity   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |  浏览/下载：30/0  |  提交时间：2013/10/08 Algorithms  Computability and decidability  Data description  Formal languages  Knowledge representation  Semantic Web  Semantics  User interfaces   cupping and diamond embeddings: a unifying approach 会议论文  OAI收割 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02 Fang Chengling; Liu Jiang; Wu Guohua 收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 C (programming language)  Computability and decidability   determinacy and rewriting of conjunctive queries over unary database schemas 会议论文  OAI收割 26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21, Zheng Lixiao; Chen Haiming   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 Computability and decidability  Information management  Information theory  Query processing   Classifying rendezvous tasks of arbitrary dimension 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2009, 卷号: 410, 期号: 21-23, 页码: 2162-2173 作者:  Liu, Xingwu;  Xu, Zhiwei;  Pan, Jianzhong   |  收藏  |  浏览/下载：9/0  |  提交时间：2019/12/16 Distributed computing  Loop agreement  Rendezvous  Computability  Classification   continuity of capping in c-bt 期刊论文  OAI收割 ANNALS OF PURE AND APPLIED LOGIC, 2008, 卷号: 155, 期号: 1, 页码: 1-15 Brodhead Paul; Li Angsheng; Li Weilin   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/06/10 眼红斑痤疮,结膜血管异常,舌状血管翳,结节性结膜炎Computability  Continuity  bT-degrees   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：9/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文  OAI收割 30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21, Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 SAT-based approach  backtracking search algorithm  exhaustive search of combinatorial test suite  pruning strategy  search heuristics  subcombination equalization heuristic  symmetry breaking technique  backtracking  combinatorial mathematics  computability   towards practical computable functions on context-free languages 会议论文  OAI收割 3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20, Chen Haiming; Dong Yunmei   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/07/28 recursive function  context-free language  structured data  operator  computability