Formalizing and Guaranteeing Human-Robot Interaction

Hadas Kress‐Gazit

doi:10.1145/3433637

2021-08-24

DOI：10.1145/3433637

原文求助

摘要

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

Toronto Metropolitan University

学者数:

6.0K

论文数: 7.0K

被引数: 6.4K

University of Colorado System

学者数:

6.3W

论文数: 5.5W

被引数: 1.8K

Carnegie Mellon University

学者数:

1.4W

论文数: 1.4W

被引数: 2.7W

ben gurion university

学者数:

1.3W

论文数: 1.0W

被引数: 5

University of California System

学者数:

37.5W

论文数: 33.7W

被引数: 6.6K

university of colorado boulder

学者数:

2.0W

论文数: 1.5W

被引数: 33

tu clausthal

学者数:

1.8K

论文数: 1.7K

被引数: 14

Technical University of Munich

学者数:

5.2W

论文数: 3.9W

被引数: 6.2W

Cornell University

学者数:

6.3W

论文数: 5.4W

被引数: 10.9W

University of Bristol

学者数:

3.1W

论文数: 3.0W

被引数: 5.3W

Radboud University Nijmegen

学者数:

4.4W

论文数: 3.4W

被引数: 5.4W

Northwestern University

学者数:

6.2W

论文数: 5.3W

被引数: 3.9K

查看更多机构

引用论文

The benefit of multiple angle observations for visible band remote sensing using night lights

IF0

2021-07-20

OAAI

Christopher C. M. Kyba; Martin Aubé; Salvador Bará; Andrea Bertolo; Constantinos A. Bouroussis; Stefano Cavazzani; Brian R. Espey; Fabio Falchi; Geza Gyuk; Andreas Jechow; Miroslav Kocifaj; Zoltán Kolláth; Héctor Lamphar; Noam Levin; Shengjie Liu; Steven D. Miller; Sergio Ortolani; Chun Shing Jason Pun; Salvador José Ribas; Thomas Ruhtz; Alejandro Sánchez de Miguel; Matthias Schneider; Ranjay Man Shrestha; Alexandre Simoneau; Chu Wing So; Tobias Storch; Kai Pong Tong; Diane Turnshek; Ken Walczak; Jun Wang; Zhuosen Wang; Jianglong Zhang

AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING

COMMUNICATIONS OF THE ACM

IF12.2

1969-10-01

2.7K