English
Related papers

Related papers: Using Mobile AR for Rapid Feasibility Analysis for…

200 papers

In this paper, we present an experiment, designed to investigate and evaluate the scalability and the robustness aspects of mobile manipulation. The experiment involves performing variations of mobile pick and place actions and…

Formal verification of robotic tasks requires a simple yet conformant model of the used robot. We present the first work on generating reachset conformant models for robotic contact tasks considering hybrid (mixed continuous and discrete)…

Robotics · Computer Science 2024-10-15 Chencheng Tang , Matthias Althoff

Through the implementation of reconfigurability to achieve flexibility and adaptation to tasks by morphology changes rather than by increasing the number of joints, malleable robots present advantages over traditional serial robot arms in…

Robotics · Computer Science 2024-07-03 Angus B. Clark , Nicolas Rojas

Robots are frequently utilized in search-and-rescue operations. In recent years, significant advancements have been made in the field of victim assessment. However, there are still open issues regarding heart rate measurement, and no…

Robot deployment in realistic dynamic environments is a challenging problem despite the fact that robots can be quite skilled at a large number of isolated tasks. One reason for this is that robots are rarely equipped with powerful…

With advancement of robotics and artificial intelligence, applications for robotics are flourishing. Human-robot interaction (HRI) is an important area of robotics as it allows robots to work closer to humans (with them or for them). One…

Robotics · Computer Science 2024-01-12 Wafa Johal

Safe human-to-robot handovers of unknown objects require accurate estimation of hand poses and object properties, such as shape, trajectory, and weight. Accurately estimating these properties requires the use of scanned 3D object models or…

Robotics · Computer Science 2021-07-06 Yik Lung Pang , Alessio Xompero , Changjae Oh , Andrea Cavallaro

Driven by ongoing improvements in machine learning, chatbots have increasingly grown from experimental interface prototypes to reliable and robust tools for process automation. Building on these advances, companies have identified various…

Human-Computer Interaction · Computer Science 2023-02-02 Alessandro Casadei , Stephan Schlögl , Markus Bergmann

Proximity perception is a technology that has the potential to play an essential role in the future of robotics. It can fulfill the promise of safe, robust, and autonomous systems in industry and everyday life, alongside humans, as well as…

Manipulability analysis is a methodology employed to assess the capacity of an articulated system, at a specific configuration, to produce motion or exert force in diverse directions. The conventional method entails generating a virtual…

Robotics · Computer Science 2025-03-18 Erfan Shahriari , Kim Kirstin Peper , Matej Hoffmann , Sami Haddadin

As the popularity of Smart Televisions (TVs) and interactive Smart TV applications (apps) has recently grown, the usability of these apps has become an important quality characteristic. Previous studies examined Smart TV apps from a…

Software Engineering · Computer Science 2020-04-06 Miroslav Bures , Miroslav Macik , Bestoun S. Ahmed , Vaclav Rechtberger , Pavel Slavik

In this paper, we present an approach for quantifying the propagated uncertainty of robot systems in an online and data-driven manner. Especially in Human-Robot Collaboration, keeping track of the safety compliance during run time is…

Robotics · Computer Science 2023-02-22 Woo-Jeong Baek , Torsten Kröger

Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. In this paper, we discuss this general phenomenon with…

Software Engineering · Computer Science 2015-08-20 Carlo A. Furia , Christopher M. Poskitt , Julian Tschannen

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

Human manipulation skills represent a pinnacle of their voluntary motor functions, requiring the coordination of many degrees of freedom and processing of high-dimensional sensor input to achieve remarkable dexterity. Thus, we set out to…

The ability to use random objects as tools in a generalizable manner is a missing piece in robots' intelligence today to boost their versatility and problem-solving capabilities. State-of-the-art robotic tool usage methods focused on…

Robotics · Computer Science 2025-10-30 Bohan Wu , Paul de La Sayette , Li Fei-Fei , Roberto Martín-Martín

The increasing affordability of robot hardware is accelerating the integration of robots into everyday activities. However, training a robot to automate a task requires expensive trajectory data where a trained human annotator moves a…

Human-Computer Interaction · Computer Science 2024-08-06 Jun Wang , Chun-Cheng Chang , Jiafei Duan , Dieter Fox , Ranjay Krishna

To operate with limited sensor horizons in unpredictable environments, autonomous robots use a receding-horizon strategy to plan trajectories, wherein they execute a short plan while creating the next plan. However, creating safe,…

Robotics · Computer Science 2020-04-24 Shreyas Kousik , Sean Vaskov , Fan Bu , Matthew Johnson-Roberson , Ram Vasudevan

Augmented Reality has been subject to various integration efforts within industries due to its ability to enhance human machine interaction and understanding. Neural networks have achieved remarkable results in areas of computer vision,…

Computer Vision and Pattern Recognition · Computer Science 2020-01-17 Linh Kästner , Daniel Dimitrov , Jens Lambrecht

Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless,…

Software Engineering · Computer Science 2021-08-17 Arut Prakash Kaleeswaran , Arne Nordmann , Thomas Vogel , Lars Grunske
‹ Prev 1 4 5 6 7 8 10 Next ›