没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
次概率程序的语义
次概率程序的语义
0 下载量
116 浏览量
2021-02-23
21:47:37
上传
评论
收藏
185KB
PDF
举报
温馨提示
立即下载
本文目的是扩充概率程序中的概率选择至亚概率选择,研究亚概率而语言的公理语义及指称语义并证明二者等价。
资源推荐
资源评论
求解概率程序
浏览:145
代码可以用于解算微分方程,由于不论微分方程有多少阶都可以解算
概率计算程序
浏览:198
适用于水利类概率计算,主要是降雨量、流量等数据的概率计算及适线。
概率过程的语义:一种操作方法(书籍简介)
浏览:84
概率过程的语义:一种操作方法(书籍简介)
自组织加权增量概率潜在语义分析
浏览:30
自组织加权增量概率潜在语义分析
概率带测试克林代数操作语义的研究 (2008年)
浏览:179
为了增强带测试克林代数(KAT)的表达能力,提出了一种加概率的带测试克林代数(PKAT)的理论,并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT...
语义Web服务的模糊匹配方法在协作材料选择中的应用
浏览:173
基于语义Web服务框架,语义匹配器,规范匹配和概率匹配,本文为语义Web服务提出了一种模糊匹配方法,以在协作制造环境中支持更加自动化和准确的服务发现过程。 在提出的方法中,隶属函数是建立在Web服务的WSDL规范...
q-search-drivers:搜索 Q 指令集扩展的驱动程序(到 RISC-V)
浏览:152
一些程序或多或少地实现了 Q 指令集扩展的概率语义。 要构建这些驱动程序,您需要知道qio.h (定义驱动程序接口和可用回调)的路径。 您还需要一个编译扩展到spike (称为libq_ext.so我最后一次检查)。 您应该...
parser:使用生成语法模型的语义解析器归纳
浏览:170
语义解析的概率生成语法。在第21届计算自然语言学习会议(CoNLL 2017)的会议记录中。依存关系要使用代码,只需下载文件并使用make datalog_to_lambda或make parser构建所需的程序。该库取决于,, 和。该代码使用了...
中断建模语言的概率指称语义
浏览:110
中断建模语言的概率指称语义
PLSA:概率潜在语义分析模型PLSAPLSI的Java包
浏览:184
jPLSA:PLSA / PLSI模型的Java软件包 本节使用名为jPLSA.jar的预编译文件描述了命令行或终端中jPLSA.jar 。 在这里,假定Java已经设置为在命令行或终端中运行(例如,将Java添加到Windows OS中的环境变量path中)。 用户可以分别在文件夹jar和src找到预编译的文件jPLSA.jar和源代码。 用户可以通过简单地运行ant来重新编译源代码(也应该已
PLSA概率潜在语义分析
浏览:50
4星 · 用户满意度95%
PLSA算法主要应用于自然语言处理和机器学习方面,本资源主要总结了几篇网上资源和论文后简要总结了PLSA算法。另附Thomas Hoffmann的PLSA论文。不足和错误之处还请海量
(matlab程序)使用激光雷达检测分类跟踪车辆仿真.rar
浏览:46
5星 · 资源好评率100%
具有交互式多模型滤波器的联合概率数据关联(JPDA)跟踪器用于跟踪检测到的车辆。 感知模块在实现具有ADAS系统的车辆的完全自主性方面发挥着重要作用。激光雷达和摄像头是感知工作流程中必不可少的传感器。激光雷达...
人工智能与深度学习概述.pdf
浏览:4
概率模型的基础——概率论 (1)概率分布、边缘概率、条件概率 (2)期望、⽅差和协⽅差 、深度学习框架 深度学习框架的优势: 易⽤性:屏蔽底层,⽤户只需关注模型结构。同时,深度学习⼯具简化了计算,降低了深度...
论文研究-可抵御唯密文攻击的基于格的公钥加密.pdf
浏览:96
通过对原始加密方案中某些参数的修改,改变了公钥中向量长度,从而实现对原始方案攻击的有效抵御,并且通过程序模拟出新的加密方案。从数据分析可得,随着实验次数的增加,该方案抵御唯密文攻击的成功概率近似为百分...
计算机要学哪些东西----(还有附赠哦)
浏览:59
高级语言的基本语法和语义 变量、类型、表达式和赋值 简单I/O 条件和循环控制结构 函数和参数传递 结构化分解 学习目标: 1. 分析并解释具有本单元所涉及基本程序结构的简单程序的行为。 2.修改和扩展使用了标准...
probabilistic_unet:结合变式自动编码器的U-Net,能够学习语义分段上的条件分布
浏览:101
概率U网+ **Update**+ An improved Model ... 概率U-Net的体系结构如下所示:子图a)显示了采样,b)训练设置: 以下是从(随机)CityScapes数据集中以保留的验证集图像为条件的样本:虚拟环境中的安装程序包git clone ...
PLSI:概率潜在语义索引的 C++ 实现
浏览:51
PLSI 概率潜在语义索引的 C++ 实现
语义分析进行程序修复
浏览:117
对semfix论文进行了描述解释
概率潜在语义
浏览:134
随着多媒体技术的迅猛发展,图像数据的增长,在此基础上提出的图像场景分类对图像检索,目标识别有较大作用
hopfl
浏览:19
霍普菲尔 一种实现受保护的高阶概率语言(受保护的HOPFL)的语义的程序。
非常实用的软件测试综合资料库
浏览:19
5星 · 资源好评率100%
可能是因为程序语言基于严格的语法和语义规则,人们企图用形式化证明方法来证明程序的正确性。将程序当作数学对象来看待,从数学意义上证明程序是正确的是可能的。数学家对形式化证明方法最有兴趣,在论文上谈起来...
软件测试规范
浏览:177
软件测试规范 目 录 一.概述 ...............................................................................................................................................................
为什么ChatGPT是生产力革命(2023).pdf
浏览:110
智人和动物核心的区别在于语言,在于能够描述虚拟事物的语言 ...当用户键入一段话,系统会根据这段话形成一个向量表达式去和大模型里的参数做匹配,产生关联概率最大的一个词然后再以这个词和上面那段话继续以上过程
从知识库到微博流的类别级别转移学习,以进行准确的事件检测
浏览:103
许多Web应用程序都需要在微博客流上使用准确的事件检测技术。 但是,现有方法的准确性仍然受到微博的短长度和高噪声的挑战。 我们开发了一种新颖的类别级别的转移学习方法TransDetector来处理此任务。 TransDetector...
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38550459
粉丝: 4
资源:
957
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
力道图数据socfb-Caltech36.json
MRP、计划需求、ERP
DLA限期无损音频格式
C++与操作系统等面试题100
C++与操作系统等面试题99
C++与操作系统等面试题98
C++与操作系统等面试题97
C++与操作系统等面试题96
C++与操作系统等面试题95
C++与操作系统等面试题94
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功