中文
相关论文

相关论文: Enumeration, structural and dimensional synthesis …

200 篇论文

The unrealizability of a specification is often due to the assumption that the behavior of the environment is unrestricted. In this paper, we present algorithms for synthesis in bounded environments, where the environment can only generate…

计算机科学中的逻辑 · 计算机科学 2021-01-01 Rayna Dimitrova , Bernd Finkbeiner , Hazem Torfah

Developing embedded systems is a complex endeavor that frequently requires collaborative teamwork. With the rise of freelance work and the global shift towards remote work, the need for effective remote collaboration has become crucial for…

人机交互 · 计算机科学 2024-08-20 Yan Chen , Jasmine Jones

An effective human-robot collaborative process results in the reduction of the operator's workload, promoting a more efficient, productive, safer and less error-prone working environment. However, the implementation of collaborative robots…

机器人学 · 计算机科学 2024-03-11 Miguel Neves , Laura Duarte , Pedro Neto

Developing robotic hands that adapt to real-world dynamics remains a fundamental challenge in robotics and machine intelligence. Despite significant advances in replicating human hand kinematics and control algorithms, robotic systems still…

We propose a physics-based method for synthesizing dexterous hand-object interactions in a full-body setting. While recent advancements have addressed specific facets of human-object interactions, a comprehensive physics-based approach…

机器人学 · 计算机科学 2023-09-15 Jona Braun , Sammy Christen , Muhammed Kocabas , Emre Aksan , Otmar Hilliges

Generating high-quality instance-wise grasp configurations provides critical information of how to grasp specific objects in a multi-object environment and is of high importance for robot manipulation tasks. This work proposed a novel…

机器人学 · 计算机科学 2023-02-16 Yucheng Xu , Mohammadreza Kasaei , Hamidreza Kasaei , Zhibin Li

Robotic research over the last decades have lead us to different architectures to automatically synthesise discrete event controllers and implement these motion and task plans in real-world robot scenarios. However, these architectures…

机器人学 · 计算机科学 2020-04-24 Tomás Liendro , Sebastián Zudaire

Handovers are basic yet sophisticated motor tasks performed seamlessly by humans. They are among the most common activities in our daily lives and social environments. This makes mastering the art of handovers critical for a social and…

机器人学 · 计算机科学 2023-04-06 Parag Khanna , Mårten Björkman , Christian Smith

The goal of this thesis is to present my research contributions towards solving various visual synthesis and generation tasks, comprising image translation, image completion, and completed scene decomposition. This thesis consists of five…

计算机视觉与模式识别 · 计算机科学 2022-02-28 Chuanxia Zheng

Can we make virtual characters in a scene interact with their surrounding objects through simple instructions? Is it possible to synthesize such motion plausibly with a diverse set of objects and instructions? Inspired by these questions,…

计算机视觉与模式识别 · 计算机科学 2023-02-28 Anindita Ghosh , Rishabh Dabral , Vladislav Golyanik , Christian Theobalt , Philipp Slusallek

Whole-body 3D human mesh estimation aims to reconstruct the 3D human body, hands, and face simultaneously. Although several methods have been proposed, accurate prediction of 3D hands, which consist of 3D wrist and fingers, still remains…

计算机视觉与模式识别 · 计算机科学 2022-04-20 Gyeongsik Moon , Hongsuk Choi , Kyoung Mu Lee

For successful object manipulation with robotic hands, it is important to ensure that the object remains in the grasp at all times. In addition to grasp constraints associated with slipping and singular hand configurations, excessive…

机器人学 · 计算机科学 2018-11-28 Wenceslao Shaw Cortez , Denny Oetomo , Chris Manzie , Peter Choong

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support…

软件工程 · 计算机科学 2021-06-25 John D. Foley , Spencer Breiner , Eswaran Subrahmanian , John M. Dusel

We contribute results for a set of fundamental problems in the context of programmable matter by presenting algorithmic methods for evaluating and manipulating a collective of particles by a finite automaton that can neither store…

数据结构与算法 · 计算机科学 2018-10-16 Sándor P. Fekete , Robert Gmyr , Sabrina Hugo , Phillip Keldenich , Christian Scheffer , Arne Schmidt

Robotic grippers are the end effector in the robot system of handling any task which used for performing various operations for the purpose of industrial application and hazardous tasks.In this paper, we developed the mathematical model for…

机器人学 · 计算机科学 2024-09-11 Sajjad Hussain , M. Suhaib

Manipulation tasks can often be decomposed into multiple subtasks performed in parallel, e.g., sliding an object to a goal pose while maintaining contact with a table. Individual subtasks can be achieved by task-axis controllers defined…

机器人学 · 计算机科学 2020-11-17 Mohit Sharma , Jacky Liang , Jialiang Zhao , Alex LaGrassa , Oliver Kroemer

A dexterous hand capable of grasping any object is essential for the development of general-purpose embodied intelligent robots. However, due to the high degree of freedom in dexterous hands and the vast diversity of objects, generating…

计算机视觉与模式识别 · 计算机科学 2025-03-18 Yiming Zhong , Qi Jiang , Jingyi Yu , Yuexin Ma

We present in-hand manipulation skills on a dexterous, compliant, anthropomorphic hand. Even though these skills were derived in a simplistic manner, they exhibit surprising robustness to variations in shape, size, weight, and placement of…

机器人学 · 计算机科学 2022-01-28 Aditya Bhatt , Adrian Sieler , Steffen Puhlmann , Oliver Brock

Achieving human-like dexterous robotic manipulation remains a central goal and a pivotal challenge in robotics. The development of Artificial Intelligence (AI) has allowed rapid progress in robotic manipulation. This survey summarizes the…

机器人学 · 计算机科学 2025-11-19 Gaofeng Li , Ruize Wang , Peisen Xu , Qi Ye , Jiming Chen

Robotic assembly planning enables architects to explicitly account for the assembly process during the design phase, and enables efficient building methods that profit from the robots' different capabilities. Previous work has addressed…

机器人学 · 计算机科学 2023-04-21 Valentin Noah Hartmann , Andreas Orthey , Danny Driess , Ozgur S. Oguz , Marc Toussaint
‹ 上一页 1 8 9 10 下一页 ›