Probabilistic Predicative Programming

机译：概率预测编程

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper shows how probabilistic reasoning can be applied to the predicative style of programming.

机译：本文展示了如何将概率推理应用于编程的谓词风格。

著录项

来源
《International Conference on Mathematics of Program Construction(MPC 2004); 20040712-20040714; Stirling; GB》|2004年|P.169-185|共17页
会议地点 Scotland(GB);Scotland(GB)
作者
Eric C.R. Hehner;
展开▼
作者单位

Department of Computer Science, University of Toronto, Toronto ON, M5S 2E4, Canada;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类理论、方法;
关键词
入库时间 2022-08-26 14:09:43

相似文献

外文文献
中文文献
专利

1. Probabilistic programming for nitrate pollution control: Comparising different probabilistic constraint approximations [J] . Athanasios Kampas, Ben White European Journal of Operational Research . 2003,第1期

机译：硝酸盐污染控制的概率编程：比较不同的概率约束近似值
2. Reasoning about probabilistic sequential programs in a probabilistic logic [J] . Mingsheng Ying Acta Informatica . 2003,第5期

机译：用概率逻辑推理概率顺序程序
3. Multi-choice goal programming approach to solve multi-objective probabilistic programming problem [J] . Kanan K. Patro, M. M. Acharya, S. Acharya Journal of Information & Optimization Sciences . 2018,第3期

机译：解决多项目标概率规划问题的多选目标规划方法
4. Probabilistic Predicative Programming [C] . Eric C. R. Hehner International Conference on Mathematics of Program Construction . 2004

机译：概率性谓词编程
5. Predicative Quantum Programming. [D] . Tafliovich, Anya. 2010

机译：谓词量子编程。
6. Publisher Correction: Universal probabilistic programming offers a powerful approach to statistical phylogenetics [O] . Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, 2021

机译：出版商纠正：通用概率编程提供了一种强大的统计系统发育方法方法
7. Probabilistic Predicative Programming [O] . Eric Hehner Department, Eric C. R. Hehner 1984

机译：概率预测编程
8. STUDIES ON PREDICATION IN RUSSIAN-I. Predicative Case, Short Form Adjectives and Predicatives [R] . Henrik Birnbaum 1964

机译：俄罗斯的预测研究。预测案例，简表形容词和谓语

Probabilistic Predicative Programming

摘要

著录项

相似文献

相关主题

期刊订阅