关键词domain-specific languages
搜索结果 - 7
- BBA：大型视觉语言模型的双模行为对齐推理
我们引入了 Bi-Modal Behavioral Alignment (BBA) 提示方法，旨在最大程度地发挥 DSL 在增强复杂的多模态推理任务中的潜力，通过为视觉和 DSL 表示创建分离推理链条，并通过解决任何不一致性来使这些链条对齐 - 利用代码提高语境学习的语义解析
通过使用通用编程语言和结构化领域描述来改善语义解析的效果，能够显著提高准确性，并缩小了易于解析的数据集和复杂数据集之间的性能差距。
- 应用特定自然语言的 IR 设计：以交通数据为例研究
本文提出了一种面向应用特定自然语言的中间表示设计，该设计可以把交通数据统一处理成图形数据格式，并在标准数据查询操作中达到超过 40 倍的速度提升，相比直接使用标准 XML 格式数据。
- 面向人工智能的模型驱动工程：一项系统文献综述
研究发现 MDE 对 AI 的使用仍处于早期阶段，并且没有广泛应用的单一工具或方法，当前的方法主要注重具体的开发阶段而非整个开发过程，因此，该研究提出了几个研究方向，以进一步改进 MDE 在 AI 方面的应用，并引导未来的研究。
- EVA：一种用于高效同态计算的加密向量算术语言和编译器
本文提出了一种新的全同态加密语言 Encrypted Vector Arithmetic（EVA），并配备了优化编译器，使开发人员可以直接使用 EVA 开发高效的通用 FHE 应用程序，并且可以作为目标编译高级特定领域的语言。此外，由于 E - 贝叶斯合成概率编程自动数据建模
使用贝叶斯综合技术，通过概率领域专用数据建模语言自动生成概率计算程序进行数据分析、解释和预测，并应用于时间序列数据和多元表格数据的分析，结果表明该技术可以准确推断多个真实世界数据的定性结构，优于标准的数据分析方法。
- 自然语言程序合成
本论文提出了一个用自然语言输入构造程序合成器的框架，其使用 NLP 特征和关键词编程翻译的排名学习最优权重和分类器来代替学习并使用各种领域特定语言，可以用于编辑、智能教育系统和飞行信息查询等多个领域。通过 1200 多个英语说明，各合成器为