会员服务
IFIP · 设计 · 多代理人模型 ·
2012 年 4 月 26 日
Proceedings Third Workshop on Formal Aspects of Virtual Organisations
翻译：第三次虚拟组织形式问题讲习班
Jeremy Bryans,John Fitzgerald
Jeremy Bryans,John Fitzgerald

This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working Conference on Virtual Enterprises (PRO-VE'11). The FAVO workshop aims to provide a forum for researchers interested in the application of formal techniques in the design and analysis of Virtual Organisations.


翻译：本卷载有第三次虚拟组织形式问题国际讲习班的会议记录(2011年FAVO),该讲习班于2011年10月18日在巴西圣保罗举行,作为国际投资促进机构联合会第12次虚拟企业工作会议(PRO-VE'11)的一个卫星活动,该讲习班旨在为有兴趣在虚拟组织的设计和分析中应用正式技术的研究人员提供一个论坛。
0
下载
关闭预览

相关内容

在形式上，IFIP是一个非政府、非盈利的伞式组织，面向在信息处理领域工作的国家协会。作为1959年在巴黎举行的第一届世界计算机大会的成果，它于1960年在教科文组织的主持下成立。奥地利外交部（1996年9月20日，GZ 1055.170/120-I.2/96）根据《奥地利给予非政府国际组织特权法》（联邦法律公报1992/174）授予国际金融机构非政府组织法律地位。
【快讯】ECCV 2020论文出炉，1361篇上榜， 你的paper中了吗？
【快讯】ECCV 2020论文出炉，1361篇上榜， 你的paper中了吗？
专知会员服务
56+阅读 · 2020年7月3日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
91+阅读 · 2020年3月12日
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
专知会员服务
50+阅读 · 2020年1月30日
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
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
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日
人工智能 | PRICAI 2019等国际会议信息9条
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
计算机类 | 国际会议信息7条
计算机类 | 国际会议信息7条
Call4Papers
3+阅读 · 2017年11月17日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
57+阅读 · 2020年1月20日
Mining Disinformation and Fake News: Concepts, Methods, and Recent Advancements
Mining Disinformation and Fake News: Concepts, Methods, and Recent Advancements
Arxiv
15+阅读 · 2020年1月2日
Generating Question Relevant Captions to Aid Visual Question Answering
Generating Question Relevant Captions to Aid Visual Question Answering
Arxiv
5+阅读 · 2019年9月9日
Taking Human out of Learning Applications: A Survey on Automated Machine Learning
Taking Human out of Learning Applications: A Survey on Automated Machine Learning
Arxiv
13+阅读 · 2019年1月17日
A Tour of Reinforcement Learning: The View from Continuous Control
Arxiv
6+阅读 · 2018年6月25日
Robustness Analysis of Visual QA Models by Basic Questions
Arxiv
4+阅读 · 2018年5月26日
Visual Data Synthesis via GAN for Zero-Shot Video Classification
Arxiv
3+阅读 · 2018年4月26日
VizWiz Grand Challenge: Answering Visual Questions from Blind People
Arxiv
3+阅读 · 2018年4月2日
Information and Environment: IoT-Powered Recommender Systems
Arxiv
5+阅读 · 2018年2月28日
Towards Efficient Dynamic Virtual Network Embedding Strategy for Cloud IoT Networks
Arxiv
4+阅读 · 2018年1月30日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
IFIP
设计
多代理人模型
相关VIP内容
【快讯】ECCV 2020论文出炉，1361篇上榜， 你的paper中了吗？
【快讯】ECCV 2020论文出炉，1361篇上榜， 你的paper中了吗？
专知会员服务
56+阅读 · 2020年7月3日
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
【快讯】ICML 2020论文出炉，1088篇上榜， 你的paper中了吗？
专知会员服务
51+阅读 · 2020年6月1日
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
【干货书】真实机器学习，264页pdf，Real-World Machine Learning
专知会员服务
113+阅读 · 2020年4月5日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
91+阅读 · 2020年3月12日
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
【新书】Java企业微服务，Enterprise Java Microservices，272页pdf
专知会员服务
50+阅读 · 2020年1月30日
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
专知会员服务
45+阅读 · 2019年10月17日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
31+阅读 · 2019年10月17日
[综述]深度学习下的场景文本检测与识别
[综述]深度学习下的场景文本检测与识别
专知会员服务
77+阅读 · 2019年10月10日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
90+阅读 · 2019年10月10日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机类 | 低难度国际会议信息6条
计算机类 | 低难度国际会议信息6条
Call4Papers
6+阅读 · 2019年4月28日
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
人工智能 | ISAIR 2019诚邀稿件（推荐SCI期刊）
Call4Papers
6+阅读 · 2019年4月1日
Call for Participation: Shared Tasks in NLPCC 2019
Call for Participation: Shared Tasks in NLPCC 2019
中国计算机学会
5+阅读 · 2019年3月22日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
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日
人工智能 | PRICAI 2019等国际会议信息9条
人工智能 | PRICAI 2019等国际会议信息9条
Call4Papers
6+阅读 · 2018年12月13日
计算机类 | 国际会议信息7条
计算机类 | 国际会议信息7条
Call4Papers
3+阅读 · 2017年11月17日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
相关论文
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
A Review on Generative Adversarial Networks: Algorithms, Theory, and Applications
Arxiv
57+阅读 · 2020年1月20日
Mining Disinformation and Fake News: Concepts, Methods, and Recent Advancements
Mining Disinformation and Fake News: Concepts, Methods, and Recent Advancements
Arxiv
15+阅读 · 2020年1月2日
Generating Question Relevant Captions to Aid Visual Question Answering
Generating Question Relevant Captions to Aid Visual Question Answering
Arxiv
5+阅读 · 2019年9月9日
Taking Human out of Learning Applications: A Survey on Automated Machine Learning
Taking Human out of Learning Applications: A Survey on Automated Machine Learning
Arxiv
13+阅读 · 2019年1月17日
A Tour of Reinforcement Learning: The View from Continuous Control
Arxiv
6+阅读 · 2018年6月25日
Robustness Analysis of Visual QA Models by Basic Questions
Arxiv
4+阅读 · 2018年5月26日
Visual Data Synthesis via GAN for Zero-Shot Video Classification
Arxiv
3+阅读 · 2018年4月26日
VizWiz Grand Challenge: Answering Visual Questions from Blind People
Arxiv
3+阅读 · 2018年4月2日
Information and Environment: IoT-Powered Recommender Systems
Arxiv
5+阅读 · 2018年2月28日
Towards Efficient Dynamic Virtual Network Embedding Strategy for Cloud IoT Networks
Arxiv
4+阅读 · 2018年1月30日
Top
微信扫码咨询专知VIP会员
Top