掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE/ACM International Workshop on Robotics Software Engineering
IEEE/ACM International Workshop on Robotics Software Engineering
召开年:
2019
召开地:
Montreal(CA)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty
机译:
MAPmAKER:在不确定性下执行多机器人LTL规划
作者:
Sergio García
;
Claudio Menghi
;
Patrizio Pelliccione
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robots;
Planning;
Uncertainty;
Computational modeling;
Software;
Model checking;
Analytical models;
2.
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
机译:
一个运行时监视框架,用于在探索复杂环境的强化学习代理上强制执行不变式
作者:
Piergiuseppe Mallozzi
;
Ezequiel Castellano
;
Patrizio Pelliccione
;
Gerardo Schneider
;
Kenji Tei
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Monitoring;
Runtime;
Safety;
Reinforcement learning;
Probabilistic logic;
Software agents;
3.
RoSE 2019 Foreword
机译:
RoSE 2019前言
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
4.
RoSE 2019 Organizing Committee
机译:
RoSE 2019组委会
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
5.
RoSE 2019 Program Committee
机译:
RoSE 2019计划委员会
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
6.
Visualizing the 'Hidden' Variables in Robot Programs
机译:
可视化机器人程序中的“隐藏”变量
作者:
David C. Shepherd
;
Nicholas A. Kraft
;
Patrick Francis
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Virtual reality;
Visualization;
Three-dimensional displays;
Data visualization;
Service robots;
Robot programming;
7.
Exposing Off-Nominal Behaviors in Multi-Robot Coordination
机译:
暴露多机器人协调中的虚名行为
作者:
Kaushik Madala
;
Hyunsook Do
;
Daniel Aceituna
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robot kinematics;
Task analysis;
Robot sensing systems;
Analytical models;
Acoustics;
8.
Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems
机译:
迈向协同异构机器人系统的系统工程
作者:
Simos Gerasimou
;
Nicholas Matragkas
;
Radu Calinescu
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robot sensing systems;
Robot kinematics;
Automobiles;
Multi-robot systems;
Task analysis;
Collective intelligence;
9.
Novice-Friendly Multi-Armed Robotics Programming
机译:
新手友好的多臂机器人编程
作者:
Nico Ritschel
;
Reid Holmes
;
Ronald Garcia
;
David Shepherd
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Programming profession;
Parallel processing;
Task analysis;
Robot programming;
Synchronization;
10.
High Level Synthesis of ROS Protocol Interpretation and Communication Circuit for FPGA
机译:
FPGA ROS协议解释和通信电路的高级综合
作者:
Takeshi Ohkawa
;
Yuhei Sugata
;
Harumi Watanabe
;
Nobuhiko Ogura
;
Kanemitsu Ootsu
;
Takashi Yokota
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Informatics;
Urban areas;
Embedded software;
Field programmable gate arrays;
High level synthesis;
Productivity;
11.
Designing Control Software for Robot Swarms: Software Engineering for the Development of Automatic Design Methods
机译:
为机器人群设计控制软件:自动设计方法开发的软件工程
作者:
Darko Bozhinoski
;
Mauro Birattari
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Robot kinematics;
Software;
Robot sensing systems;
Design methodology;
Optimization;
Software engineering;
12.
Engineering Safety in Swarm Robotics
机译:
群体机器人中的工程安全
作者:
Giovanni Beltrame
;
Ettore Merlo
;
Jacopo Panerati
;
Carlo Pinciroli
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Safety;
Robot kinematics;
Security;
Service robots;
Model checking;
Analytical models;
13.
Toward Rapid Composition with Confidence in Robotics Software
机译:
对机器人软件的信心充满信心
作者:
Neil A. Ernst
;
Rick Kazman
;
Philip Bianco
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Software;
Tools;
Computer architecture;
Ecosystems;
Government;
Simultaneous localization and mapping;
14.
Toward Code-Aware Robotic Simulation
机译:
走向代码感知机器人仿真
作者:
John-Paul Ore
;
Carrick Detweiler
;
Sebastian Elbaum
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Analytical models;
Robot sensing systems;
Computational modeling;
Torque;
Automobiles;
Tools;
15.
Industrial-Scale Environments with Bounded Uncertainty: A Productivity Maximisation Challenge
机译:
具有有界不确定性的工业规模环境:生产力最大化挑战
作者:
Daniel Sykes
;
Gavin Keighren
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Actuators;
Uncertainty;
Task analysis;
Hardware;
Containers;
Planning;
16.
Using Physical Quantities in Robot Software Models
机译:
使用机器人软件模型中的物理量
作者:
Loli Burgue?o
;
Tanja Mayerhofer
;
Manuel Wimmer
;
Antonio Vallecillo
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Unified modeling language;
Measurement uncertainty;
Uncertainty;
Software;
Robot kinematics;
Numerical models;
17.
On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics
机译:
关于将反应合成对机器人的软件工程挑战
作者:
Shahar Maoz
;
Jan Oliver Ringert
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Educational robots;
Software engineering;
Robot sensing systems;
Writing;
Software;
18.
Checking Consistency of Robot Software Architectures in ROS
机译:
检查ROS中机器人软件架构的一致性
作者:
Thomas Witte
;
Matthias Tichy
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Robots;
Tools;
Computer architecture;
Peer-to-peer computing;
Software architecture;
Prototypes;
Testing;
19.
A Use Case in Model-Based Robot Development Using AADL and ROS
机译:
使用AADL和ROS基于模型的机器人开发的用例
作者:
Gianluca Bardaro
;
Andrea Semprebon
;
Matteo Matteucci
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2018年
关键词:
Computer architecture;
Wheelchairs;
Mobile robots;
Robot kinematics;
Robot sensing systems;
Hardware;
20.
RoSE 2019 Foreword
机译:
2019年玫瑰前言
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
21.
RoSE 2019 Organizing Committee
机译:
2019年玫瑰组织委员会
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
22.
RoSE 2019 Program Committee
机译:
玫瑰2019年计划委员会
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
23.
Visualizing the 'Hidden' Variables in Robot Programs
机译:
在机器人程序中可视化“隐藏”变量
作者:
David C. Shepherd
;
Nicholas A. Kraft
;
Patrick Francis
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Virtual reality;
Visualization;
Three-dimensional displays;
Data visualization;
Service robots;
Robot programming;
24.
Towards Systematic Engineering of Collaborative Heterogeneous Robotic Systems
机译:
朝向协作异质机器人系统的系统工程
作者:
Simos Gerasimou
;
Nicholas Matragkas
;
Radu Calinescu
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robot sensing systems;
Robot kinematics;
Automobiles;
Multi-robot systems;
Task analysis;
Collective intelligence;
25.
High Level Synthesis of ROS Protocol Interpretation and Communication Circuit for FPGA
机译:
用于FPGA的ROS协议解释和通信电路的高水平合成
作者:
Takeshi Ohkawa
;
Yuhei Sugata
;
Harumi Watanabe
;
Nobuhiko Ogura
;
Kanemitsu Ootsu
;
Takashi Yokota
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Informatics;
Urban areas;
Embedded software;
Field programmable gate arrays;
High level synthesis;
Productivity;
26.
MAPmAKER: Performing Multi-Robot LTL Planning under Uncertainty
机译:
MapMaker:在不确定性下执行多机器人LTL规划
作者:
Sergio García
;
Claudio Menghi
;
Patrizio Pelliccione
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robots;
Planning;
Uncertainty;
Computational modeling;
Software;
Model checking;
Analytical models;
27.
Novice-Friendly Multi-Armed Robotics Programming
机译:
新手友好的多武装机器人编程
作者:
Nico Ritschel
;
Reid Holmes
;
Ronald Garcia
;
David Shepherd
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Programming profession;
Parallel processing;
Task analysis;
Robot programming;
Synchronization;
28.
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
机译:
运行时监控框架,以强制探索复杂环境的强化学习代理的不变性
作者:
Piergiuseppe Mallozzi
;
Ezequiel Castellano
;
Patrizio Pelliccione
;
Gerardo Schneider
;
Kenji Tei
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Monitoring;
Runtime;
Safety;
Reinforcement learning;
Probabilistic logic;
Software agents;
29.
Exposing Off-Nominal Behaviors in Multi-Robot Coordination
机译:
暴露在多机器人协调中的义法行为
作者:
Kaushik Madala
;
Hyunsook Do
;
Daniel Aceituna
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2019年
关键词:
Robot kinematics;
Task analysis;
Robot sensing systems;
Analytical models;
Acoustics;
30.
Assumptions and Guarantees for Composable Models in Papyrus for Robotics
机译:
用于机器人学纸莎草纸纸纸纸纸蛋白质的假设和保证
作者:
Jabier Martinez
;
Alejandra Ruiz
;
Ansgar Radermacher
;
Stefano Tonetta
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Conferences;
Collaboration;
Pressing;
Tools;
Safety;
Complexity theory;
Stakeholders;
31.
System Modes - Digestible System (Re-)Configuration for Robotics
机译:
系统模式 - 用于机器人的可消化系统(重新)配置
作者:
Arne Nordmann
;
Ralph Lange
;
Francisco Martín Rico
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Couplings;
Runtime;
Conferences;
Licenses;
Complexity theory;
Task analysis;
Robots;
32.
Program Committee
机译:
计划委员会
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
33.
Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics
机译:
模拟机器人纸纸纸纸莎草师的组成基于组件的架构和安全合同
作者:
Jabier Martinez
;
Alejandra Ruiz
;
Ainara Garzo
;
Thierry Keller
;
Ansgar Radermacher
;
Stefano Tonetta
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Runtime;
Tools;
Stroke (medical condition);
Hardware;
Data models;
Safety;
Space exploration;
34.
Specifying QoS Requirements and Capabilities for Component-Based Robot Software
机译:
为基于组件的机器人软件指定QoS要求和功能
作者:
Samuel Parra
;
Sven Schneider
;
Nico Hochgeschwender
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Robot kinematics;
Conferences;
Quality of service;
Software;
Generators;
DSL;
Monitoring;
35.
The High-Assurance ROS Framework
机译:
高保证ROS框架
作者:
André Santos
;
Alcino Cunha
;
Nuno Macedo
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Analytical models;
Runtime;
Operating systems;
Static analysis;
Model checking;
Tools;
Software;
36.
Power and Energy Communication Services for Control-software Models
机译:
控制软件模型的电源和能量通信服务
作者:
Reynaldo Cobos Mendez
;
Douwe Dresscher
;
Jan Broenink
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Energy exchange;
Robot control;
Software;
Data models;
Object recognition;
Software tools;
Robots;
37.
Considerations for using Block-Based Languages for Industrial Robot Programming - a Case Study
机译:
使用基于块的工业机器人编程语言的考虑因素 - 以案例研究
作者:
Christoph Mayr-Dorn
;
Mario Winterer
;
Christian Salomon
;
Doris Hohensinger
;
Rudolf Ramler
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Industries;
Visualization;
Computer languages;
Service robots;
Conferences;
Production;
Machinery;
38.
A Modeling Tool for Reconfigurable Skills in ROS
机译:
ROS中可重构技能的建模工具
作者:
Darko Bozhinoski
;
Esther Aguado
;
Mario Garzon Oviedo
;
Carlos Hernandez
;
Ricardo Sanz
;
Andrzej Wąsowski
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Runtime;
Operating systems;
Conferences;
Computer architecture;
Tools;
Ontologies;
Cognition;
39.
Architecture for Emergency Control of Autonomous UAV Ensembles**This work is partly funded by the German Research Foundation (DFG) under the COMBO grant
机译:
自主无人机合奏的紧急控制建筑**这项工作部分由德国研究基金会(DFG)资助的Combo Grant
作者:
Martin Schörner
;
Constantin Wanninger
;
Alwin Hoffmann
;
Oliver Kosak
;
Wolfgang Reif
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Automation;
Software architecture;
Conferences;
Prototypes;
Computer architecture;
Unmanned aerial vehicles;
Personnel;
40.
Skill-Based Architecture Development for Online Mission Reconfiguration and Failure Management
机译:
基于技能的架构开发,用于在线任务重新配置和失败管理
作者:
Alexandre Albore
;
David Doose
;
Christophe Grand
;
Charles Lesire
;
Augustin Manecy
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Solid modeling;
Analytical models;
Three-dimensional displays;
Software architecture;
Computer architecture;
Robot sensing systems;
Software;
41.
Message from the RoSE 2021 Chairs
机译:
来自玫瑰2021椅子的信息
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
42.
Towards a Service-Oriented U-Space Architecture for Autonomous Drone Operations
机译:
朝向自主无人机操作的面向服务的U形空间架构
作者:
Miguel Campusano
;
Kjeld Jensen
;
Ulrik Pagh Schultz
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Visualization;
Software architecture;
Conferences;
Europe;
Computer architecture;
Service-oriented architecture;
Complexity theory;
43.
Inferred Interactive Controls Through Provenance Tracking of ROS Message Data
机译:
通过ROS消息数据的出处跟踪推断交互式控制
作者:
Thomas Witte
;
Matthias Tichy
会议名称:
《IEEE/ACM International Workshop on Robotics Software Engineering》
|
2021年
关键词:
Visualization;
Three-dimensional displays;
Data visualization;
C++ languages;
Tools;
Syntactics;
Trajectory;
意见反馈
回到顶部
回到首页