会员服务
MoDELS · 数据库 ·
2023 年 1 月 12 日
Algebraic Model Management: A Survey
翻译：代数模型管理:调查
Patrick Schultz,David I. Spivak,Ryan Wisnesky
Patrick Schultz,David I. Spivak,Ryan Wisnesky
from arxiv, Published in WADT 2016, Recent Trends in Algebraic Development Techniques

We survey the field of model management and describe a new model management approach based on algebraic specification.


翻译：我们调查了模式管理领域,并描述了基于代数规格的新模式管理办法。
0
下载
关闭预览

相关内容

ACM/IEEE第23届模型驱动工程语言和系统国际会议，是模型驱动软件和系统工程的首要会议系列，由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来，模型涵盖了建模的各个方面，从语言和方法到工具和应用程序。模特的参加者来自不同的背景，包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛，参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会，并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。 官网链接：http://www.modelsconference.org/
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
高效可扩展图神经网络的研究进展，Recent Advances in Efficient and Scalable Graph Neural Networks
专知会员服务
75+阅读 · 2022年3月15日
33页PPT【AI+天气预测】，AI and Machine learning for weather predictions
33页PPT【AI+天气预测】，AI and Machine learning for weather predictions
专知会员服务
30+阅读 · 2022年3月5日
【干货书】深度学习合成数据，354页pdf，Synthetic Data for Deep Learning
【干货书】深度学习合成数据，354页pdf，Synthetic Data for Deep Learning
专知会员服务
100+阅读 · 2022年2月10日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【综述】超参数优化:算法和应用综述，Hyper-Parameter Optimization: A Review of Algorithms and Applications
【综述】超参数优化:算法和应用综述，Hyper-Parameter Optimization: A Review of Algorithms and Applications
专知会员服务
55+阅读 · 2020年3月13日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【图神经网络遇上符号计算】Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
【图神经网络遇上符号计算】Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
专知会员服务
41+阅读 · 2020年3月3日
深度学习金融应用综述论文，52页pdf，Deep Learning for Financial Applications
深度学习金融应用综述论文，52页pdf，Deep Learning for Financial Applications
专知会员服务
82+阅读 · 2020年2月18日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
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日
LibRec 精选：推荐的可解释性[综述]
LibRec 精选：推荐的可解释性[综述]
LibRec智能推荐
10+阅读 · 2018年5月4日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
酸功能化离子液体酸性的核磁共振表征
国家自然科学基金
0+阅读 · 2014年12月31日
管道输液防止苹果缺铁及提高果实铁含量机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
用于白光LED的颜色可调稀土离子掺杂固溶体发光材料的研究
国家自然科学基金
0+阅读 · 2013年12月31日
MNiSn基half-Heusler合金微波固相合成机理及其热电性能研究
国家自然科学基金
0+阅读 · 2013年12月31日
关于AI-半环簇与 Conway半环簇的研究
国家自然科学基金
1+阅读 · 2012年12月31日
功能化富勒烯及石墨烯的催化反应性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
松香改性壳聚糖阳离子表面活性剂合成及其构效关系
国家自然科学基金
0+阅读 · 2011年12月31日
催化型氮杂Wittig反应合成多取代杂环的新方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
功能化离子液体在分散液相微萃取中的萃取性能研究
国家自然科学基金
0+阅读 · 2009年12月31日
固载铜盐/离子液体催化剂的制备、结构及性能
国家自然科学基金
0+阅读 · 2009年12月31日
Operationalizing AI in Future Networks: A Bird's Eye View from the System Perspective
Arxiv
1+阅读 · 2023年3月7日
A Unified Algebraic Perspective on Lipschitz Neural Networks
Arxiv
0+阅读 · 2023年3月6日
Causal Machine Learning: A Survey and Open Problems
Arxiv
69+阅读 · 2022年6月30日
A Roadmap for Big Model
Arxiv
76+阅读 · 2022年3月26日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Domain Generalization in Vision: A Survey
Arxiv
16+阅读 · 2021年7月18日
Bridging the Gap Between Spectral and Spatial Domains in Graph Neural Networks
Bridging the Gap Between Spectral and Spatial Domains in Graph Neural Networks
Arxiv
15+阅读 · 2020年3月26日
Directions for Explainable Knowledge-Enabled Systems
Directions for Explainable Knowledge-Enabled Systems
Arxiv
26+阅读 · 2020年3月17日
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日
Explainable Recommendation: A Survey and New Perspectives
Explainable Recommendation: A Survey and New Perspectives
Arxiv
65+阅读 · 2019年8月15日
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日
33页PPT【AI+天气预测】，AI and Machine learning for weather predictions
33页PPT【AI+天气预测】，AI and Machine learning for weather predictions
专知会员服务
30+阅读 · 2022年3月5日
【干货书】深度学习合成数据，354页pdf，Synthetic Data for Deep Learning
【干货书】深度学习合成数据，354页pdf，Synthetic Data for Deep Learning
专知会员服务
100+阅读 · 2022年2月10日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
114+阅读 · 2020年4月5日
【综述】超参数优化:算法和应用综述，Hyper-Parameter Optimization: A Review of Algorithms and Applications
【综述】超参数优化:算法和应用综述，Hyper-Parameter Optimization: A Review of Algorithms and Applications
专知会员服务
55+阅读 · 2020年3月13日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【图神经网络遇上符号计算】Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
【图神经网络遇上符号计算】Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective
专知会员服务
41+阅读 · 2020年3月3日
深度学习金融应用综述论文，52页pdf，Deep Learning for Financial Applications
深度学习金融应用综述论文，52页pdf，Deep Learning for Financial Applications
专知会员服务
82+阅读 · 2020年2月18日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
直播 | Interpretable and Trustworthy Graph Geometric Deep Learning
图与推荐
1+阅读 · 2022年11月2日
VCIP 2022 Call for Special Session Proposals
VCIP 2022 Call for Special Session Proposals
CCF多媒体专委会
1+阅读 · 2022年4月1日
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日
IEEE TII Call For Papers
IEEE TII Call For Papers
CCF多媒体专委会
3+阅读 · 2022年3月24日
AIART 2022 Call for Papers
AIART 2022 Call for Papers
CCF多媒体专委会
1+阅读 · 2022年2月13日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
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日
LibRec 精选：推荐的可解释性[综述]
LibRec 精选：推荐的可解释性[综述]
LibRec智能推荐
10+阅读 · 2018年5月4日
【论文】图上的表示学习综述
【论文】图上的表示学习综述
机器学习研究会
14+阅读 · 2017年9月24日
相关论文
Operationalizing AI in Future Networks: A Bird's Eye View from the System Perspective
Arxiv
1+阅读 · 2023年3月7日
A Unified Algebraic Perspective on Lipschitz Neural Networks
Arxiv
0+阅读 · 2023年3月6日
Causal Machine Learning: A Survey and Open Problems
Arxiv
69+阅读 · 2022年6月30日
A Roadmap for Big Model
Arxiv
76+阅读 · 2022年3月26日
A Survey of Human-in-the-loop for Machine Learning
Arxiv
35+阅读 · 2021年8月2日
Domain Generalization in Vision: A Survey
Arxiv
16+阅读 · 2021年7月18日
Bridging the Gap Between Spectral and Spatial Domains in Graph Neural Networks
Bridging the Gap Between Spectral and Spatial Domains in Graph Neural Networks
Arxiv
15+阅读 · 2020年3月26日
Directions for Explainable Knowledge-Enabled Systems
Directions for Explainable Knowledge-Enabled Systems
Arxiv
26+阅读 · 2020年3月17日
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日
Explainable Recommendation: A Survey and New Perspectives
Explainable Recommendation: A Survey and New Perspectives
Arxiv
65+阅读 · 2019年8月15日
相关基金
酸功能化离子液体酸性的核磁共振表征
国家自然科学基金
0+阅读 · 2014年12月31日
管道输液防止苹果缺铁及提高果实铁含量机理研究
国家自然科学基金
0+阅读 · 2014年12月31日
用于白光LED的颜色可调稀土离子掺杂固溶体发光材料的研究
国家自然科学基金
0+阅读 · 2013年12月31日
MNiSn基half-Heusler合金微波固相合成机理及其热电性能研究
国家自然科学基金
0+阅读 · 2013年12月31日
关于AI-半环簇与 Conway半环簇的研究
国家自然科学基金
1+阅读 · 2012年12月31日
功能化富勒烯及石墨烯的催化反应性能研究
国家自然科学基金
0+阅读 · 2012年12月31日
松香改性壳聚糖阳离子表面活性剂合成及其构效关系
国家自然科学基金
0+阅读 · 2011年12月31日
催化型氮杂Wittig反应合成多取代杂环的新方法研究
国家自然科学基金
0+阅读 · 2011年12月31日
功能化离子液体在分散液相微萃取中的萃取性能研究
国家自然科学基金
0+阅读 · 2009年12月31日
固载铜盐/离子液体催化剂的制备、结构及性能
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员
Top