翻译 - 英汉云计算·物联网·大数据 - 列表
a computational logic for applicative common lisp (ACL2)
是由公共Lisp的程序语言、一套可扩展的一阶逻辑理论和一个机械化的定理证明工具所组成的软件系统。...查看详细>>
48字A priori
指无须经验或先于经验获得的知识。通常与后验知识相比较，后验为需要经验才能获得的知识。从原因到结果的论证称为“先验的”，而从结果到原因的论证称为“后验的”。...查看详细>>
77字A* algorithm
一种在多个节点的路径图形平面上，求出最低通过成本的算法。该算法属于人工智能中的启发式搜索算法，常用于游戏中的非玩家控制角色(NPC)的移动计算，或线上游戏机器人(BOT)的移动计算。...查看详细>>
91字A* search
同“A星算法”。...查看详细>>
8字A* -based best-first heuristic searsh
在状态空间采用A星算法进行搜索，对每一个搜索的位置进行评估，得到最好的位置，再从这个位置进行搜索直到目标。启发式搜索对位置的评估是十分重要的，采用不同的评估可以有不同的效果，从而省略大量无谓的搜索路径，...查看详细>>
107字A* -tree
指为求解最短路径最有效的直接搜索方法而构建的树形结构，来保证找到最短路径(最优解的)条件。...查看详细>>
45字A/B testing
一种通过科学的实验设计、采样样本、流量分割与小流量测试等方式来获得具有代表性的实验结论，并确信该结论在推广到全部流量可信。为同一个目标制定两个方案，让一部分用户使用A方案，另一部分用户使用B方案，记录用...查看详细>>
132字A/D converters
指将标准量(或参考量)为基准的模拟量转化成二进制数字量形式的离散信号的转换器。...查看详细>>
39字A/D sensors
用来检测数字信号与模拟信号的传感器。...查看详细>>
18字A/V conferencing system
指最基本的电子会议系统，A/V为audio(音频)与video(视频)的缩写，该系统由麦克风、功放、音响、桌面显示设备(例如桌面智能终端、液晶显示器)组成，起到了传声、显示、扩声的作用。广泛应用于监控、...查看详细>>
143字