Suchergebnisse - "Computing methodologies Artificial intelligence Control methods"
-
1
Centralized Training and Decentralized Control through the Actor-Critic Paradigm for Highly Optimized Multicores
Veröffentlicht: IEEE 22.06.2025Veröffentlicht in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… While distributed, neural-network-based resource controllers represent the state of the art for their ability to cope with the ever-expanding decision space, …”
Volltext
Tagungsbericht -
2
VMP: Versatile Motion Priors for Robustly Tracking Motion on Physical Characters
ISSN: 0167-7055, 1467-8659Veröffentlicht: Oxford Blackwell Publishing Ltd 01.12.2024Veröffentlicht in Computer graphics forum (01.12.2024)“… Recent progress in physics‐based character control has made it possible to learn policies from unstructured motion data. However, it remains challenging to …”
Volltext
Journal Article -
3
PartwiseMPC: Interactive Control of Contact‐Guided Motions
ISSN: 0167-7055, 1467-8659Veröffentlicht: Oxford Blackwell Publishing Ltd 01.12.2024Veröffentlicht in Computer graphics forum (01.12.2024)“… Physics‐based character motions remain difficult to create and control. We make two contributions towards simpler specification and faster generation of …”
Volltext
Journal Article -
4
EPOC: An Efficient Pulse Generation Framework with Advanced Synthesis for Quantum Circuits
Veröffentlicht: IEEE 22.06.2025Veröffentlicht in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… In this work, we aim to address the computational overhead challenge in quantum optimal control while reducing circuit latency. We propose a novel approach …”
Volltext
Tagungsbericht -
5
Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates
Veröffentlicht: IEEE 22.06.2025Veröffentlicht in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… The design of controllers for safety-critical systems is an important research issue. Especially, the generation of controllers with formal safety guarantees …”
Volltext
Tagungsbericht -
6
MROS: A framework for robot self-adaptation
ISSN: 2574-1934Veröffentlicht: IEEE 01.05.2023Veröffentlicht in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)“… Self-adaptation can be used in robotics to increase system robust- ness and reliability. This work describes the Metacontrol method for self-adaptation in …”
Volltext
Tagungsbericht -
7
A practical guide for using statistical tests to assess randomized algorithms in software engineering
ISBN: 9781450304450, 1450304451ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 21.05.2011Veröffentlicht in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)“… Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of …”
Volltext
Tagungsbericht -
8
Collision Prediction for Robotics Accelerators
Veröffentlicht: IEEE 29.06.2024Veröffentlicht in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“… Motion planning in dynamic environments is an important task for autonomous robotics. Emerging approaches employ neural networks that can learn by observing …”
Volltext
Tagungsbericht -
9
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design
ISSN: 2574-1934Veröffentlicht: IEEE 01.05.2023Veröffentlicht in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)“… Cyber-physical systems (CPSs) are designed to in-tegrate computation and physical processes through constantly interacting with the physical environment. The …”
Volltext
Tagungsbericht -
10
GAssert: A Fully Automated Tool to Improve Assertion Oracles
ISBN: 1665412194, 9781665412193Veröffentlicht: IEEE 01.05.2021Veröffentlicht in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)“… This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable …”
Volltext
Tagungsbericht -
11
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
ISSN: 1558-1225Veröffentlicht: IEEE 26.04.2025Veröffentlicht in Proceedings / International Conference on Software Engineering (26.04.2025)“… Automated Uncrewed Aerial Vehicle (UAV) landing is crucial for autonomous UAV services such as monitoring, surveying, and package delivery. It involves …”
Volltext
Tagungsbericht -
12
On the automation of fixing software bugs
ISBN: 1605580791, 9781605580791ISSN: 0270-5257Veröffentlicht: 01.01.2008Veröffentlicht in International Conference on Software Engineering 2008 (01.01.2008)“… Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing …”
Volltext
Journal Article -
13
Post-Silicon CPU Adaptation Made Practical Using Machine Learning
ISSN: 2575-713XVeröffentlicht: ACM 01.06.2019Veröffentlicht in 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture (ISCA) (01.06.2019)“… Processors that adapt architecture to workloads at runtime promise compelling performance per watt (PPW) gains, offering one way to mitigate diminishing …”
Volltext
Tagungsbericht -
14
Managing uncertainty in self-adaptive systems with plan reuse and stochastic search
ISBN: 9781450357159, 1450357156Veröffentlicht: New York, NY, USA ACM 28.05.2018Veröffentlicht in 2018 IEEE ACM 13th International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS) (28.05.2018)“… Many software systems operate in environments where change and uncertainty are the rule, rather than exceptions. Techniques for self-adaptation allow these …”
Volltext
Tagungsbericht -
15
Tighter Dimensioning of Heterogeneous Multi-Resource Autonomous CPS with Control Performance Guarantees
Veröffentlicht: ACM 01.06.2019Veröffentlicht in Proceedings of the 56th Annual Design Automation Conference 2019 (01.06.2019)“… In modern autonomous systems, there is typically a large number of connected components realizing complex functionalities. For example, in autonomous vehicles …”
Volltext
Tagungsbericht -
16
An Autonomous Dynamic Camera Method for Effective Remote Teleoperation
ISBN: 9781450349536, 1450349536ISSN: 2167-2148Veröffentlicht: New York, NY, USA ACM 26.02.2018Veröffentlicht in 2018 13th ACM/IEEE International Conference on Human-Robot Interaction (HRI) (26.02.2018)“… In this paper, we present a method that improves the ability of remote users to teleoperate amanipulation robot arm by continuously providing them with an …”
Volltext
Tagungsbericht -
17
Formal methods for semi-autonomous driving
ISSN: 0738-100XVeröffentlicht: IEEE 01.06.2015Veröffentlicht in Proceedings - ACM IEEE Design Automation Conference (01.06.2015)“… We give an overview of the main challenges in the specification, design, and verification of human cyber-physical systems, with a special focus on …”
Volltext
Tagungsbericht -
18
Effects of Robot Motion on Human-Robot Collaboration
Veröffentlicht: ACM 02.03.2015Veröffentlicht in Hri '15: ACM/IEEE International Conference on Human-Robot Interaction USB Stick (02.03.2015)“… Most motion in robotics is purelyfifnctional, planned to achieve the goal and avoid collisions. Such motion is great in isolation, but collaboration affords a …”
Volltext
Tagungsbericht -
19
Sacrifice One For the Good of Many? People Apply Different Moral Norms to Human and Robot Agents
Veröffentlicht: ACM 01.03.2015Veröffentlicht in Hri '15: ACM/IEEE International Conference on Human-Robot Interaction USB Stick (01.03.2015)“… Moral norms play an essential role in regulating human interaction. With the growing sophistication and proliferation of robots, it is important to understand …”
Volltext
Tagungsbericht -
20
Efficient Model Learning from Joint-Action Demonstrations for Human-Robot Collaborative Tasks
Veröffentlicht: ACM 02.03.2015Veröffentlicht in Hri '15: ACM/IEEE International Conference on Human-Robot Interaction USB Stick (02.03.2015)“… We present a framework for automatically learning human user models from joint-action demonstrations that enables a robot to compute a robust policy for a …”
Volltext
Tagungsbericht

