没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
确定不确定数据库中UTop-k查询的最小扫描范围
确定不确定数据库中UTop-k查询的最小扫描范围
Approximate
results;
Novel
algorithm;
Possible
0 下载量
153 浏览量
2021-03-10
19:30:58
上传
评论
收藏
268KB
PDF
举报
温馨提示
立即下载
确定不确定数据库中UTop-k查询的最小扫描范围
资源推荐
资源评论
MSSUTop-：确定不确定数据的UTop-查询的最小扫描范围
浏览：164
UTop-query的语义基于可能的世界模型，处理UTop-query的最大挑战是可能的世界空间的爆炸式增长。 在这个方向上，已经开发了几种优化算法。 但是，不确定数据库在不同评分函数下的数据分布不同，这对现有优化算法的性能有很大影响。 在本文中，我们提出了两种新颖的算法MSSUTop-和快速MSSUTop-，用于确定UTop查询处理的最小扫描范围。 这项工作很重要，因为在开始进行UTop查询处理
ocaml-utop-emacs-example:在 Emacs 中将 utop 与您自己的 OCaml 项目一起使用的博客文章的一个小示例
浏览：33
ocaml-utop-emacs-example 这是一个很小的示例 OCaml 项目，我写了一篇博客文章，描述了如何配置 utop... 要在终端（不是 Emacs）中运行代码，请运行utop并尝试以下操作： #load_rec "impl.cmo";; Impl.compute ();;
utop:OCaml的通用顶级
浏览：144
utop — OCaml的通用顶级（即REPL） utop是OCaml的改进的顶层（即，读取-评估-打印循环）。 它可以在终端或Emacs中运行。 它支持行编辑，历史记录，实时和上下文相关的补全，颜色等。 它与Emacs中的Tuareg和typerex...
ocaml-workspace:用于自定义 utop 会话等的个人工作区
浏览：194
ocaml-工作区用于自定义 OCaml utop 会话等的个人工作区。 检查单个分支以加载特定的工作区配置文件。 这通常包括.ocamlinit 、 .merlin以及任何其他适用的文件，如果证明有用，甚至是小的 ml 片段。 现有分行：
dum:根据它们的运行时表示来打印OCaml值
浏览：128
我们不建议在生产代码中使用此库，因为它依赖于OCaml内部和不安全的内存访问。 $ utop - require dum # Dum. to_stdout ( 123 , " abc " , Not_found , [ `A ; `B 'x' ]);; ( 123 " abc " object -7 () [ 65 ( 66 ...
utopia-crm:Utopía是一个开放源代码平台，用于基于社区的新闻编辑室来管理其订阅
浏览：7
其中包含您需要安装的所有库： pip install -r requirements.txt安装克隆仓库git clone git@github.com:ladiaria/utopia-crm.git请遵循此存储库中的指令来安装需求，设置数据库和修改配置。通过运行启动服务器python...
utopia-cms:Utopía是一个开放源代码平台，用于基于社区的新闻编辑室来管理其订阅。 CMS工具的代码存储库
浏览：189
先决条件pip install -r requirements.txt安装请遵循此存储库中的指令来安装需求，设置数据库和修改配置。用法有关CMS的功能，请参阅路线图有关建议的功能（和已知问题）列表，请参阅的问题。贡献贡献使开源社区成为...
camldm:Ocaml绑定到libdevicemapper
浏览：155
在utop中，加载软件包： #require " devmapper " ;; 查询已知设备映射器目标的列表： Devmapper. ls () ;; - : bytes list = [ " packer--virtualbox--iso--vg-root " ; " packer--virtualbox--iso--vg-swap_1 ...
Punchscript：由Rajinikanth打Kong对话组成的编程语言
浏览：94
安装Menhir，js_of_ocaml和其他依赖项$ opam depext -i core merlin utop ocp-indent$ opam depext -i menhir js_of_ocaml-compiler sedlex$ opam depext -i js_of_ocaml js_of_ocaml-ppx js_of_ocaml-lwt使用...
17373176-叶静波-lab3实验报告1
浏览：166
（2）如果envid对应的进程不存在，就不应该得到对应的进程块 （2）UTOP =0x7f40 0000代表用户能够自定义数据部分的虚拟空间,ULIM=0x80
raytracer-challenge
浏览：67
1525373137.245 seconds have elapsed since 1970-01-01T00:00:00.- : unit = ()安装可以在安装或不安装opam的情况下安装该项目。 如果没有opam，则可以运行直接依赖于沙丘的以下命令： $ make install相似地： $ ...
ocaml-base64:OCaml中的Base64编码和解码
浏览：24
utop # #require "base64";; utop # let enc = Base64.encode_exn "OCaml rocks!";; val enc : string = " T0NhbWwgcm9ja3Mh " utop # let plain = Base64.decode_exn enc;; val plain : string = " OCaml rocks! "
lambda-invaders:基于OCaml的太空侵略者版本
浏览：180
lambda入侵者是基于OCaml的太空入侵者实现。 它使用了很棒的lambda-term库，它为utop和ocp-browser 。
ocaml-orx:Orx游戏引擎的OCaml绑定
浏览：118
ocaml-orx-OCaml与Orx游戏库的绑定 是“一个开源，可移植，轻便，基于插件，数据驱动且非常易于使用的2D... 安装完这些文件后，您可以通过dune build来构建库，通过dune utop src来探索来自REPL的绑定（如果已安装 ，
ocaml-torch:PyTorch的OCaml绑定
浏览：24
火炬 ocaml-torch为张量库提供了一些ocaml绑定。... 这是一个示例utop会话。 建立一个简单的例子 要构建第一个割炬程序，请创建包含以下内容的文件example.ml 。 open Torch let () = let tensor = Tenso
Unifying Theories of Programming - C.A.R. Hoare and He Jifeng, 1998.pdf
浏览：73
Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the .
操作系统实验课程之C语言【100013075】
浏览：115
本次的实验加深我对操作系统进程运行和异常处理机制的理解，特别是 PCB 块，以前从未听说过它的存在，而在...本次实验还让我发现了更多在 mmu.h 的映射图中的细节，比如明白了 UTOP 和 ULIM 是什么，二者之间又是什么。
ixy.ml:OCaml重写ixy网络驱动程序
浏览：29
ixy.ml仍在进行中。 快速入门（在Debian上） sudo ./build.sh sudo ./setup-hugetlbfs.sh lspci | grep 'Ethernet controller.*\(82599ES\|X5[245]0\)' sudo ixy-pktgen 特征 多个接收和发送队列 多个内存池 ...
ocamlearlybird:OCaml调试适配器
浏览：154
oca鸟如何使用切换到ocaml 4.11或4.12 安装Earlybird，并确保ocamlearlybird在您的PATH中。 安装vscode扩展hackwaly / ocamlearlybird快速调试您可以在vscode资源管理器中的字节码文件上选择上下文菜单“启动OCaml...
Qt 5实现串口调试助手 （源工程文件、0积分下载）
浏览：175
5星 · 资源好评率100%
基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
【SystemVerilog】路科验证V2学习笔记（全600页）.pdf
浏览：51
5星 · 资源好评率100%
SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
AutoSAR标准协议4.2.2
浏览：148
5星 · 资源好评率100%
AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
光伏-储能并网系统仿真.rar
浏览：49
5星 · 资源好评率100%
该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
XCP协议的规范文档
浏览：11
5星 · 资源好评率100%
XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
GD32替换STM32注意事项.pdf
浏览：102
3星 · 编辑精心推荐
GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
NPPJSONViewer.zip
浏览：92
4星 · 用户满意度95%
NodePad++ JSON格式化插件
CANoe通过CAPL脚本实现自动测试
浏览：71
现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
蓝牙BLE协议中文版.pdf
浏览：72
蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi
浏览：53
3星 · 编辑精心推荐
vs2015.iso包安装，不然会卡在安装包丢失或损坏
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38570145
粉丝: 4
资源:
924
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
UtilJson.unitypackage
苹果CMS仿T5资源站影视资源分享网站模板
Pytorch1.0.0手动下载
UtilFile.cs
无标题dwewerwerwerwrwqrqwrqwrwqre
520表白神器-百度浏览器
基于python+opencv实现双目视觉测量被摄物体的尺寸+开发文档说明（高分大作业）
基于python+opencv实现双目视觉测量被摄物体的尺寸+开发文档说明（期末大作业&课程设计）
IPv4子网计算器-python代码
系统移植-交叉编译工具链
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
