达格斯图尔报告，第5卷，第5期
-
部分： 音量： 达格斯图尔报告，第5卷
日志： 达格斯图尔报告（DagRep）
出版物详细信息
发布时间：2016-01-14 出版商：Schloss Dagstuhl–Leibniz Zentrum für Informatik DBLP： 数据库/期刊/dagstuhl-reports/dagstuhl-report 5
接入号码
-
此处提供详细的访问统计信息 文档访问总数（每周更新）： 0 PDF下载
文件
达格斯图尔报告，第5卷，第5期，2015年5月，完整版
摘要
引用为
@第｛DagRep.5.5， title={{Dagstuhl Reports，第5卷，第5期，2015年5月，完整版}}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2016年}， 体积={5}， 数字={5}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5 }, URN={URN:nbn:de:0030-drops-56739}， doi={10.4230/DagRep.5.5}， annote={关键词：达格斯图尔报告，第5卷，第5期，2015年5月，完整版} }
达格斯图尔报告，目录，第5卷，第5期，2015年
摘要
引用为
@第{DagRep.5.i条， title={{Dagstuhl Reports，目录，第5卷，第5期，2015年}}， 页面={i--ii}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2016年}， 体积={5}， 数字={5}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.i }, URN={URN:nbn:de:0030-drops-56746}， doi={10.4230/DagRep.5.i}， annote={关键词：达格斯图尔报告，目录，第5卷，第5期，2015年} }
下一代并发的组合验证方法（Dagstuhl研讨会15191）
摘要
引用为
@第{birkedal_et_al:DagRep.5.5.1条， author={Birkedal、Lars和Dreyer、Derek和Gardner、Philippa和Shao、Zhong}， title={{下一代并发的组合验证方法（Dagstuhl研讨会15191）}}， 页数={1--23}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={5}， 数字={5}， editor={Birkedal、Lars和Dreyer、Derek和Gardner、Philippa和Shao、Zhong}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.1 }, URN={URN:nbn:de:0030-drops-53565}， doi={10.4230/DagRep.5.51}， annote={关键词：并发程序验证（模型、逻辑、自动分析），并发编程} }
阴影中的信息：噪音还是知识？ （达格斯图尔研讨会15192）
摘要
引用为
@第{casati_et_al:DagRep.5.5.24条， author={卡萨蒂、罗伯托和卡瓦纳、帕特里克和桑托斯、保罗E.}， title={{阴影中的信息：噪音还是知识？（达格斯图尔研讨会15192）}}， 页数={24--42}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={5}， 数字={5}， editor={卡萨蒂、罗伯托和卡瓦纳、帕特里克和桑托斯、保罗E.}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.24 }, URN={URN:nbn:de:0030-drops-53570}， doi={10.4230/DagRep.5.524}， annote={关键词：投射阴影、感知、计算机视觉、空间认知} }
跨语言跨媒体内容链接：注释和联合表示（达格斯图尔研讨会15201）
摘要
引用为
@第{hauptmann_et_al:DagRep.5.5.43条， author={Hauptmann，Alexander G.和Hodson，James和Li，Juanzi和Sebe，Nicu和Rettinger，Achim}， title={{跨语言跨媒体内容链接：注释和联合表示（达格斯图尔研讨会15201）}}， 页数={43--56}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2015年}， 体积={5}， 数字={5}， editor={豪普特曼、亚历山大·G·和霍德森、詹姆斯和李、娟子和塞贝、尼库和雷廷格、阿希姆}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.43 }, URN＝{URN:nbn:de:00030-drops-53590}， doi={10.4230/DagRep.5.43}， annote={关键词：跨语言、跨媒体、跨模式、自然语言处理、计算机视觉、多媒体、知识表示、机器学习、信息提取、信息检索} }
进化算法理论（达格斯图尔研讨会15211）
摘要
引用为
@第{doerr_et_al:DagRep.5.5.57条， author={Doerr、Benajmin和Hansen、Nikolaus和Igel、Christian和Thiele、Lothar}， title={{进化算法理论（达格斯图尔研讨会15211）}}， 页数={57--91}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2016年}， 体积={5}， 数字={5}， 编辑＝{Doerr，Benajmin和Hansen，Nikolaus和Igel，Christian和Thiele，Lothar}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.557 }, URN={URN:nbn:de:0030-drops-54022}， doi={10.4230/DagRep.5.557}， annote={关键词：进化算法，黑盒优化，随机搜索启发式，算法，人工智能} }
用不完全信息和知识进行推理的多学科方法——综合和挑战路线图（达格斯图尔研讨会15221）
摘要
引用为
@第{douven_et_al:DagRep.5.5.92条， author={Douven、Igor和Kern-Isberner、Gabriele和Knauff、Markus和Prade、Henri}， title={{用不完全信息和知识进行推理的多学科方法——综合与挑战路线图（达格斯图尔研讨会15221）}}， 页数={92--114}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2016年}， 体积={5}， 数字={5}， editor={Douven、Igor和Kern-Isberner、Gabriele和Knauff、Markus和Prade、Henri}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.92 }, URN={URN:nbn:de:0030-drops-54033}， doi={10.4230/DagRep.5.592}， annote={关键词：不确定性推理；常识推理；理性推理；条件；非单调逻辑；信念修正；基于相似性的推理：基于实例的、插值的、外推的和类比推理；时间、空间和因果关系的推理；溯因推理；语义框架} }
以人为中心的软件工具开发（达格斯图尔研讨会15222）
摘要
引用为
@第{ko_et_al:DagRep.5.5.115条， 作者＝{Ko，Andrew J.和Krishnamurthi，Shriram和Murphy，Gail C.和Siegmund，Janet}， title={{以人为中心的软件工具开发（达格斯图尔研讨会15222）}}， 页数={115--132}， 日志={Dagstuhl报告}， ISSN={2192-5283}， 年份={2016年}， 体积={5}， 数字={5}， editor={Ko，Andrew J.和Krishnamurthi，Shriram和Murphy，Gail C.和Siegmund，Janet}， publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}， 地址={Dagstuhl，德国}， URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.5.115 }, URN={URN:nbn:de:0030-drops-54049}， doi={10.4230/DagRep.5.115}， annote={关键词：软件工程，开发工具，人为因素} }