会员服务
MoDELS ·
2022 年 5 月 18 日
Formalization of Advanced VOs semantics and VO Refinement
翻译：高级VVS语义和VO改进的正规化
Sebastian Stock,Fabian Vu,David Geleßus,Atif Mashkoor,Michael Leuschel,Alexander Egyed
Sebastian Stock,Fabian Vu,David Geleßus,Atif Mashkoor,Michael Leuschel,Alexander Egyed

This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.


翻译：该文件为VO和要求的完善、模型的抽象和即时性奠定了基础,还考虑了关于抽象和即时性的VO。
0
下载
关闭预览

相关内容

高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
30+阅读 · 2022年3月8日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
37+阅读 · 2022年1月24日
50+篇《神经架构搜索NAS》2020论文合集
专知会员服务
61+阅读 · 2020年3月19日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Latest News & Announcements of the Plenary Talk2
【ICIG2021】Latest News & Announcements of the Plenary Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年11月2日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
Cidea和Fsp27蛋白调控机体脂代谢的功能研究
国家自然科学基金
0+阅读 · 2017年12月31日
AM真菌和植物根系通过VOCs的相互识别及其机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
多级孔纳米结构上Ce/Zr基催化剂联合低温等离子体脱除VOCs的基础研究
国家自然科学基金
0+阅读 · 2013年12月31日
USP9x去泛素化β-catenin促进肺癌细胞TRAIL耐受的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Ca2+协同下CapG参与胃癌细胞迁移时伪足形成的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
朊蛋白参与鸡马立克肿瘤细胞增殖扩散的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
REMg2TMx型多相合金的吸/放氢行为和衰减机理研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于分布式水文模型的流域尺度土壤湿度遥感数据同化研究
国家自然科学基金
0+阅读 · 2009年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
改进的Unscented卡尔曼滤波与电池组SOC快速精确估计
国家自然科学基金
0+阅读 · 2008年12月31日
Efficient Spatial-Temporal Information Fusion for LiDAR-Based 3D Moving Object Segmentation
Arxiv
0+阅读 · 2022年7月5日
BlonDe: An Automatic Evaluation Metric for Document-level Machine Translation
BlonDe: An Automatic Evaluation Metric for Document-level Machine Translation
Arxiv
0+阅读 · 2022年7月5日
Reinforcement Learning on Graph: A Survey
Arxiv
67+阅读 · 2022年4月13日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
Natural Language Descriptions of Deep Visual Features
Arxiv
12+阅读 · 2022年1月26日
Recent advances in deep learning theory
Recent advances in deep learning theory
Arxiv
52+阅读 · 2020年12月20日
Curriculum Learning for Reinforcement Learning Domains: A Framework and Survey
Curriculum Learning for Reinforcement Learning Domains: A Framework and Survey
Arxiv
20+阅读 · 2020年3月10日
On Feature Normalization and Data Augmentation
On Feature Normalization and Data Augmentation
Arxiv
15+阅读 · 2020年2月25日
Deep Reinforcement Learning: An Overview
Arxiv
15+阅读 · 2018年6月23日
Video Captioning via Hierarchical Reinforcement Learning
Arxiv
20+阅读 · 2018年3月29日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
MoDELS
最新内容
2025年大语言模型进展报告
2025年大语言模型进展报告
专知会员服务
1+阅读 · 今天13:30
多智能体协作机制
多智能体协作机制
专知会员服务
1+阅读 · 今天13:26
非对称优势：美海军开发低成本反无人机技术
非对称优势：美海军开发低成本反无人机技术
专知会员服务
4+阅读 · 今天4:39
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
《反无人机技术领域的技术发展综述：C-UAS探测、跟踪与识别技术》80页报告
专知会员服务
14+阅读 · 今天2:52
《美战争部小企业创新研究（SBIR）计划》
《美战争部小企业创新研究（SBIR）计划》
专知会员服务
6+阅读 · 今天2:48
《军事模拟：将军事条令与目标融入AI智能体》
《军事模拟：将军事条令与目标融入AI智能体》
专知会员服务
9+阅读 · 今天2:43
【NTU博士论文】3D人体动作生成
【NTU博士论文】3D人体动作生成
专知会员服务
7+阅读 · 4月24日
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
DeepSeek-V4：百万 Token 上下文背后，大模型正在进入“长程智能”时代（附中英文pdf版）
专知会员服务
8+阅读 · 4月24日
以色列军事技术对美国军力发展的持续性赋能
以色列军事技术对美国军力发展的持续性赋能
专知会员服务
8+阅读 · 4月24日
战场之外的较量：美伊冲突中的认知战与心理博弈
战场之外的较量：美伊冲突中的认知战与心理博弈
专知会员服务
6+阅读 · 4月24日
俄乌战争中乌克兰防空能力演变与见解（中文版）
俄乌战争中乌克兰防空能力演变与见解（中文版）
专知会员服务
7+阅读 · 4月24日
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
《面向巡飞弹药系统的情境感知深度强化学习自主非线性机动控制》
专知会员服务
10+阅读 · 4月24日
《深度强化学习在兵棋推演中的应用》40页报告
《深度强化学习在兵棋推演中的应用》40页报告
专知会员服务
14+阅读 · 4月24日
《多域作战面临复杂现实》
《多域作战面临复杂现实》
专知会员服务
10+阅读 · 4月24日
《印度的多域作战：条令与能力发展》报告
《印度的多域作战：条令与能力发展》报告
专知会员服务
5+阅读 · 4月24日
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
78+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
30+阅读 · 2022年3月8日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
37+阅读 · 2022年1月24日
50+篇《神经架构搜索NAS》2020论文合集
专知会员服务
61+阅读 · 2020年3月19日
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
Auto-Sizing the Transformer Network: Improving Speed, Efficiency, and Performance for Low-Resource Machine Translation
专知会员服务
50+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
59+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
94+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
最新BERT相关论文清单，BERT-related Papers
最新BERT相关论文清单，BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
热门VIP内容
相关资讯
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
征稿 | CFP：Special Issue of NLP and KG(JCR Q2，IF2.67)
开放知识图谱
1+阅读 · 2022年4月4日
IEEE ICKG 2022: Call for Papers
IEEE ICKG 2022: Call for Papers
机器学习与推荐算法
3+阅读 · 2022年3月30日
ACM MM 2022 Call for Papers
ACM MM 2022 Call for Papers
CCF多媒体专委会
5+阅读 · 2022年3月29日
【ICIG2021】Latest News & Announcements of the Tutorial
【ICIG2021】Latest News & Announcements of the Tutorial
中国图象图形学学会CSIG
3+阅读 · 2021年12月20日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium9
中国图象图形学学会CSIG
0+阅读 · 2021年12月17日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium6
中国图象图形学学会CSIG
2+阅读 · 2021年11月12日
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
【ICIG2021】Check out the hot new trailer of ICIG2021 Symposium5
中国图象图形学学会CSIG
1+阅读 · 2021年11月11日
【ICIG2021】Latest News & Announcements of the Plenary Talk2
【ICIG2021】Latest News & Announcements of the Plenary Talk2
中国图象图形学学会CSIG
0+阅读 · 2021年11月2日
Unsupervised Learning via Meta-Learning
Unsupervised Learning via Meta-Learning
CreateAMind
44+阅读 · 2019年1月3日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
相关论文
Efficient Spatial-Temporal Information Fusion for LiDAR-Based 3D Moving Object Segmentation
Arxiv
0+阅读 · 2022年7月5日
BlonDe: An Automatic Evaluation Metric for Document-level Machine Translation
BlonDe: An Automatic Evaluation Metric for Document-level Machine Translation
Arxiv
0+阅读 · 2022年7月5日
Reinforcement Learning on Graph: A Survey
Arxiv
67+阅读 · 2022年4月13日
Multi-Modal Knowledge Graph Construction and Application: A Survey
Arxiv
79+阅读 · 2022年2月11日
Natural Language Descriptions of Deep Visual Features
Arxiv
12+阅读 · 2022年1月26日
Recent advances in deep learning theory
Recent advances in deep learning theory
Arxiv
52+阅读 · 2020年12月20日
Curriculum Learning for Reinforcement Learning Domains: A Framework and Survey
Curriculum Learning for Reinforcement Learning Domains: A Framework and Survey
Arxiv
20+阅读 · 2020年3月10日
On Feature Normalization and Data Augmentation
On Feature Normalization and Data Augmentation
Arxiv
15+阅读 · 2020年2月25日
Deep Reinforcement Learning: An Overview
Arxiv
15+阅读 · 2018年6月23日
Video Captioning via Hierarchical Reinforcement Learning
Arxiv
20+阅读 · 2018年3月29日
相关基金
Cidea和Fsp27蛋白调控机体脂代谢的功能研究
国家自然科学基金
0+阅读 · 2017年12月31日
AM真菌和植物根系通过VOCs的相互识别及其机制研究
国家自然科学基金
0+阅读 · 2015年12月31日
多级孔纳米结构上Ce/Zr基催化剂联合低温等离子体脱除VOCs的基础研究
国家自然科学基金
0+阅读 · 2013年12月31日
USP9x去泛素化β-catenin促进肺癌细胞TRAIL耐受的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
Ca2+协同下CapG参与胃癌细胞迁移时伪足形成的机制研究
国家自然科学基金
0+阅读 · 2012年12月31日
朊蛋白参与鸡马立克肿瘤细胞增殖扩散的分子机制
国家自然科学基金
0+阅读 · 2011年12月31日
REMg2TMx型多相合金的吸/放氢行为和衰减机理研究
国家自然科学基金
0+阅读 · 2009年12月31日
基于分布式水文模型的流域尺度土壤湿度遥感数据同化研究
国家自然科学基金
0+阅读 · 2009年12月31日
TR3相互作用新蛋白机理研究
国家自然科学基金
1+阅读 · 2008年12月31日
改进的Unscented卡尔曼滤波与电池组SOC快速精确估计
国家自然科学基金
0+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top