栏目导航

 通知公告 
 图片新闻 
 学院新闻 
 科学方舟 
 学院荣誉 
 学术动态 
  • “双一流”建设

    更多>>
  • 当前位置: 首页>>通知公告>>正文
    111引智基地系列讲座通知
      审核人:

    111引智基地系列讲座(一)

    报告题目:无人车的历史和展望

    报 告 人: Armin B. Cremers教授,德国波恩大学

    报告时间:2018年85日上午9:0010:00

    报告地点:航海学院204会议室

    报告人简介:Professor Armin B. Cremers received his doctoral degree in mathematics and his lectureship qualification in computer science from the University of Karlsruhe (now KIT). He has served on the Computer Science Faculties of the University of Southern California, the University of Dortmund, and, since 1990, the University of Bonn as Head of the Artificial Intelligence / Robotics/ Intelligent Vision Systems Research Groups. In 2002 he became Founding Director of the Bonn-Aachen International Center for Information Technology (B-IT), Emeritus since 2014. From Bonn he has contributed fundamentally to artificial intelligence and robotics, and to the development of software engineering, particularly in civil engineering, and information systems, particularly in the geosciences. The paper "The Interactive Museum Tour-Guide Robot" won the AAAI Classic Paper award of 2016. From 2004 to 2008 he was Dean of the School of Mathematics and Natural Sciences, and from April 2009 to July 2014 University Vice President for Planning and Finance.

    报告内容简介:While there is impressive progress being made in all areas of computer vision, humans are still much more effective in general unconstrained interpretation of visual sensory input than any machine. Two fundamental, unconscious steps in the role model of human visual processing are Grouping and Saliency. While Grouping describes the human ability to perceive patterns and structure in raw data and constitute a scene composition model, Saliency defines a quality of how much certain scene parts stand out relative to their neighborhood and therefore attract attention.

    This lecture will present our latest research on early vision processing inspired by that couple of biological mechanisms. While most other current computational approaches model either Grouping or Saliency, we have developed an integrated system combining both. Our method is designed to meet strict real-time requirements as present in mobile robotics. Nevertheless, our more holistic approach shows state-of-the-art results in both subdisciplines. Furthermore, we have successfully employed it on a mobile robot to assist grasping of arbitrary things by reliably segmenting the object of interest in an image.


    111引智基地系列讲座(二)

    报告题目:Community Learning Via Digital Storytelling and Location-Based Games

    报 告 人:Olaf Cremers,德国波恩大学

    报告时间:2018年85日上午10:001100

    报告地点:航海学院204会议室

    报告人简介:Olaf Cremers, M.A.Institute of Informatics University of Bonn. Born in 1980 in Germany. Master Thesis on Renewable Biomass Energy Sites in Rural Areas. Practice course Geographic Information Systems, University of Bonn. Postgraduate Research Assistant, Institute of Informatics, and B-IT, University of Bonn, Usability Engineer in IT. Spin-offs (Mobile Gaming, Project with German Telecom).

    报告内容简介:Although the notion of community learning is not sharply defined, the goals and achievements of non-institutional approaches toward education and social development within communities have been widely recognized and have received international attention as a research area. In this paper we present localized storytelling and learning practices through mainly outdoor mobile gaming where our research pattern basically follows the digital storytelling approach by Joe Lambert, co-founder of the Center for Digital Storytelling (CDS) at UC Berkeley, California (Lambert, 2013). Over the past years we have gathered experience in the development and application of gaming-style spheres of learning in various social settings. Mobile location-based gaming and in particular mobile storytelling are well suited to encourage and support community learning. We present our authoring system GeoQuest briefly and explain by means of some concrete pedagogical projects how such systems can meet the demands of modern community learning. While our focus here is to give a fair introduction and appraisal of GeoQuest as mobile storytelling system and educational gaming platform, we shall also mention practical examples and perspectives of future work.


     111引智基地系列讲座(三)

    报告题目: An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning

      : 董天石, 博士

    报告时间:2018年85日上午11:0012:00

    报告地点:航海学院204会议室

    报告人简介:董天石博士系苏州太仓人,1993年就读南京大学计算机系,1997年进上海交通大学计算机系研究生院。200010月赴德国汉堡大学计算机系攻读博士学位,方向是空间认知(人工智能)200312月指出现有区域空间逻辑的缺陷,提出统一的 区域空间逻辑,建立相应的认知棱镜理论”(The Theory of Cognitive Prism)2005 12 月获德国理学博士学位。2008 年成果发表于著名刊物《Journal of Philosophical Logical》。之后,被欧洲数学会邀请为 Zentralblatt MATH 的评委。2012 年学术专著《Recognizing Variable Environment -- The Theory of Cognitive Prism》 由 Springer 出版。 2010-2012 参与 DFG LogAnswer II 项目;2014-2018 与南京大学计 算机系的计算机软件新技术国家重点实验室合作,以海外独立科学家身份参与国家自然科学基金项目自适应软件系统的无缝演化与环境感知技术研究2015-2017 参加欧盟Horizon2020项目OpenBudgets.eu,主管数据挖掘和数据分析,现为波恩-亚琛国际计算中心研究员。

    报告内容简介:Assertions are intensively used to facilitate correctness reasoning and error detection in daily programming. However, composing assertions for mobile robotic programs can be painfully inconvenient, because classic Hoare logic lacks the expressing power on spatial knowledge, which is crucial when robots interact with their physical environments. The problem is especially evident for Behavior-Based Robotics (BBR) where the world is not explicitly represented with program variables. In this paper, we propose to incorporate spatial reasoning capability in the assertion framework of Hoare logic. The proposed framework features a two-dimensional region calculus and additional axioms for robot movements. The calculus makes the world representation and the specification of mobile robotic program natural and intuitive, and the axioms enable the reasoning about program correctness. We illustrate the use of the framework with a typical behavior-based robotic program. In addition, we present a runtime error detection and recovery mechanism for BBR programs based on the assertion framework. Preliminary experiments with NAO robots demonstrate the effectivene.

     

     

    主办单位:海洋信息感知学科创新引智基地