English
Related papers

Related papers: Enumeration, structural and dimensional synthesis …

200 papers

Creating and understanding art has long been a hallmark of human ability. When presented with finished digital artwork, professional graphic artists can intuitively deconstruct and replicate it using various drawing tools, such as the line…

Computer Vision and Pattern Recognition · Computer Science 2024-10-22 Qi Bing , Chaoyi Zhang , Weidong Cai

Soft robotic hands promise to provide compliant and safe interaction with objects and environments. However, designing soft hands to be both compliant and functional across diverse use cases remains challenging. Although co-design of…

Repetitive patterns are ubiquitous in natural and human-made objects, and can be created with a variety of tools and methods. Manual authoring provides unmatched degree of freedom and control, but can require significant artistic expertise…

Graphics · Computer Science 2020-12-16 Peihan Tu , Li-Yi Wei , Koji Yatani , Takeo Igarashi , Matthias Zwicker

We propose Teamwork Synthesis, a version of the distributed synthesis problem with application to teamwork multi-agent systems. We reformulate the distributed synthesis question by dropping the fixed interaction architecture among agents as…

Logic in Computer Science · Computer Science 2023-05-15 Yehia Abd Alrahman , Nir Piterman

In-hand manipulation tasks, particularly in human-inspired robotic systems, must rely on distributed tactile sensing to achieve precise control across a wide variety of tasks. However, the optimal configuration of this network of sensors is…

Robotics · Computer Science 2026-01-05 João Damião Almeida , Egidio Falotico , Cecilia Laschi , José Santos-Victor

Synergy supplies a practical approach for expressing various postures of a multi-fingered hand. However, a conventional synergy defined for reproducing grasping postures cannot perform general-purpose tasks expected for a multi-fingered…

Robotics · Computer Science 2020-03-27 Kazuki Higashi , Keisuke Koyama , Ryuta Ozawa , Kazuyuki Nagata , Weiwei Wan , Kensuke Harada

Verified controller synthesis uses world models that comprise all potential behaviours of humans, robots, further equipment, and the controller to be synthesised. A world model enables quantitative risk assessment, for example, by…

Software Engineering · Computer Science 2021-10-26 Mario Gleirscher , Jan Peleska

Generating images from hand-drawings is a crucial and fundamental task in content creation. The translation is difficult as there exist infinite possibilities and the different users usually expect different outcomes. Therefore, we propose…

Computer Vision and Pattern Recognition · Computer Science 2022-09-02 Shin-I Cheng , Yu-Jie Chen , Wei-Chen Chiu , Hung-Yu Tseng , Hsin-Ying Lee

A challenging and important problem for tendon-driven multi-fingered robotic hands is to ensure grasping adaptivity while minimizing the number of actuators needed to provide human-like functionality. Inspired by the Pisa/IIT SoftHand, this…

Image and texture synthesis is a challenging task that has long been drawing attention in the fields of image processing, graphics, and machine learning. This problem consists of modelling the desired type of images, either through training…

Computer Vision and Pattern Recognition · Computer Science 2016-09-26 Yi Ren , Yaniv Romano , Michael Elad

Research on tactile sensing has been progressing at constant pace. In robotics, tactile sensing is typically studied in the context of object grasping and manipulation. In this domain, the development of robust, multi-modal, tactile sensors…

Robotics · Computer Science 2022-06-29 Lorenzo Natale , Giorgio Cannata

Humans use all of their senses to accomplish different tasks in everyday activities. In contrast, existing work on robotic manipulation mostly relies on one, or occasionally two modalities, such as vision and touch. In this work, we…

We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. We observe that such specifications are particularly suitable for program synthesis for two…

Programming Languages · Computer Science 2016-04-22 Nadia Polikarpova , Ivan Kuraj , Armando Solar-Lezama

Evaluating the pinch capability of a robotic hand is important for understanding its functional dexterity. However, many existing grasp evaluation methods rely on object geometry or contact force models, which limits their applicability…

Robotics · Computer Science 2026-04-23 HyoJae Kang , Joonho Lee , Hyunmok Jung , Dong Il Park

Industrial robots typically require very structured and predictable working environments, and explicit programming, in order to perform well. Therefore, expensive and time-consuming engineering work is a major obstruction when mediating…

Robotics · Computer Science 2019-05-28 Martin Karlsson

Modeling and simulating soft robot hands can aid in design iteration for complex and high degree-of-freedom (DoF) morphologies. This can be further supplemented by iterating on the design based on its performance in real world manipulation…

Robotics · Computer Science 2024-03-18 Pragna Mannam , Kenneth Shaw , Dominik Bauer , Jean Oh , Deepak Pathak , Nancy Pollard

Automatic synthesis of realistic co-speech gestures is an increasingly important yet challenging task in artificial embodied agent creation. Previous systems mainly focus on generating gestures in an end-to-end manner, which leads to…

Sound · Computer Science 2023-05-05 Tenglong Ao , Qingzhe Gao , Yuke Lou , Baoquan Chen , Libin Liu

Human hands can not only grasp objects of various shape and size and manipulate them in hands but also exert such a large gripping force that they can support the body in the situations such as dangling a bar and climbing a ladder. On the…

Automation applications are pushing the deployment of many high DoF manipulators in warehouse and manufacturing environments. This has motivated many efforts on optimizing manipulation tasks involving a single arm. Coordinating multiple…

Robotics · Computer Science 2019-05-09 Rahul Shome , Kostas E. Bekris

Robotic dexterous in-hand manipulation, where multiple fingers dynamically make and break contact, represents a step toward human-like dexterity in real-world robotic applications. Unlike learning-based approaches that rely on large-scale…

Robotics · Computer Science 2025-05-09 Yongpeng Jiang , Mingrui Yu , Xinghao Zhu , Masayoshi Tomizuka , Xiang Li