BriefGPT.xyz
Ask
alpha
关键词
modeling language
搜索结果 - 6
使用 PDDL + 和更多方法进行实际世界规划
NyX 是一种新颖的、强调轻巧、简单和适应性的 PDDL + 规划器，旨在解决 PDDL + 规划软件的短缺和刚性限制，并为解决现实世界问题的 AI Planning 方法提供了更广泛的应用。
PDF
5 months ago
ACL
VoxML 作为注释语言的抽象规范
本文介绍了 VoxML 作为一种建模语言，其通过常识语义知识将自然语言表达式映射到实时可视化中，涉及 HRI 和机器人技术中的目标特性概念，旨在将其作为注释语言，支持 VoxML 的建模目的。
PDF
a year ago
AAAI
针对 GPU 的经典机器学习问题优化
该论文扩展了 GENO 框架以在 GPU 上解决约束优化问题，其性能比当前流行的算法（如 CVXPY 与 GPU 加速算法）高出数个数量级。该框架使用易于阅读的建模语言描述了约束优化问题。
PDF
2 years ago
MM
命题答案集程序的聚合语义
调查了建议用于命题 ASP 程序的主要聚合语义。重点是计算复杂性，表达能力以及不同方法的能力和局限性。
PDF
3 years ago
经典机器学习通用优化：GENO
GENO 是一种基于建模语言的优化框架，它能够生成特化于大多数经典机器学习问题的高效求解器，并在经典和近期提出的问题上表现出与精心设计的专用求解器同样甚至更高的效率，比传统的建模语言加求解器方法快了几个数量级。
PDF
5 years ago
JuMP：数学优化建模语言
该论文介绍了开源建模语言 JuMP，其可以在高层次代数句法中表达多种优化问题，包括线性、混合整数、二次、圆锥二次、半定和非线性问题，并探讨了如何将 JuMP 扩展到新的问题类别，并组合现有的可视化和交互式工具。
PDF
9 years ago
Prev
Next