会员服务
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
专知会员服务
75+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
36+阅读 · 2022年1月24日
50+篇《神经架构搜索NAS》2020论文合集
专知会员服务
60+阅读 · 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
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 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
专知会员服务
52+阅读 · 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
42+阅读 · 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
待字闺中
16+阅读 · 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
66+阅读 · 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
50+阅读 · 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
相关VIP内容
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
【超赞的#C++#速查&信息图】“hacking c++ - Cheat Sheets & Infographics”
专知会员服务
29+阅读 · 2022年3月8日
计算机科学课程与视频课件合集，Computer Science courses with video lectures
计算机科学课程与视频课件合集，Computer Science courses with video lectures
专知会员服务
36+阅读 · 2022年1月24日
50+篇《神经架构搜索NAS》2020论文合集
专知会员服务
60+阅读 · 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
专知会员服务
47+阅读 · 2019年10月17日
Stabilizing Transformers for Reinforcement Learning
Stabilizing Transformers for Reinforcement Learning
专知会员服务
59+阅读 · 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
专知会员服务
56+阅读 · 2019年10月17日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 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
专知会员服务
52+阅读 · 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
42+阅读 · 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
待字闺中
16+阅读 · 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
66+阅读 · 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
50+阅读 · 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