English
Related papers

Related papers: Enumeration, structural and dimensional synthesis …

200 papers

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…

Logic in Computer Science · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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,…

Computer Vision and Pattern Recognition · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Robotics · Computer Science 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…

Software Engineering · Computer Science 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…

Data Structures and Algorithms · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Robotics · Computer Science 2023-04-21 Valentin Noah Hartmann , Andreas Orthey , Danny Driess , Ozgur S. Oguz , Marc Toussaint
‹ Prev 1 8 9 10 Next ›