English
Related papers

Related papers: BMW-ROOM An Object-Oriented Method for ASCET

200 papers

The image annotation stage is a critical and often the most time-consuming part required for training and evaluating object detection and semantic segmentation models. Deployment of the existing models in novel environments often requires…

Computer Vision and Pattern Recognition · Computer Science 2023-11-21 Yimeng Li , Navid Rajabi , Sulabh Shrestha , Md Alimoor Reza , Jana Kosecka

In complex real-world settings, optimization is challenged by the presence of diverse models of differing fidelity. In many optimization problems, a single model is treated as the most accurate representation of the underlying system, while…

Machine Learning · Statistics 2026-05-07 Danielle F. Morey , Giulia Pedrielli , Cherry Y. Wakayama , Zelda B. Zabinsky

Automated test execution scheduling is crucial in modern software development environments, where components are frequently updated with changes that impact their integration with hardware systems. Building test schedules, which focus on…

Software Engineering · Computer Science 2024-03-20 Arnaud Gotlieb , Morten Mossige , Helge Spieker

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements,…

Many autonomous robots aimed at source-seeking are studied, and their controls designed, using unicycle modeling and formulation. This is true not only for model-based controllers, but also for model-free, real-time control methods such as…

Robotics · Computer Science 2025-09-22 Ahmed A. Elgohary , Sameh A. Eisa , Shivam Bajpai

With the complexity of Integrated Circuits increasing, design verification has become the most time consuming part of the ASIC design flow. Nearly 70% of the SoC design cycle is consumed by verification. The most commonly used approach to…

Machine Learning · Computer Science 2020-12-07 B. Samhita Varambally , Naman Sehgal

A numerical tool relying on sharp Immersed Boundary Method (IBM) is developed for the analysis of aerospace applications. The method, which is conceived for application using segregated solvers relying on implicit time discretization, uses…

Computational Engineering, Finance, and Science · Computer Science 2025-02-25 M. A. Chemak , E. Constant , M. Meldi

This chapter provides an extended overview about Reduced Order Models (ROMs), with a focus on their features in terms of efficiency and accuracy. In particular, the aim is to browse the more common ROM frameworks, considering both intrusive…

Numerical Analysis · Mathematics 2024-09-04 Pierfrancesco Siena , Paquale Claudio Africa , Michele Girfoglio , Gianluigi Rozza

During the conceptual and prototype design stage of an industrial product, it is crucial to take assembly/disassembly and maintenance operations in advance. A well-designed system should enable relatively easy access of operating…

Robotics · Computer Science 2012-06-08 Liang Ma , Ruina Ma , Damien Chablat , Fouad Bennis

Object-centric representation learning aims to decompose visual scenes into fixed-size vectors called "slots" or "object files", where each slot captures a distinct object. Current state-of-the-art object-centric models have shown…

Computer Vision and Pattern Recognition · Computer Science 2025-03-28 Aniket Didolkar , Andrii Zadaianchuk , Rabiul Awal , Maximilian Seitzer , Efstratios Gavves , Aishwarya Agrawal

It is becoming increasingly important in the software industry, especially with the growing complexity of software ecosystems and the emphasis on security and compliance for manufacturers to inventory software used on their systems. A…

Software Engineering · Computer Science 2024-03-15 Devin Pereira , Christopher Molloy , Sudipta Acharya , Steven H. H. Ding

Through our four years experiments on students' Scrum based agile software development (ASD) process, we have gained deep understanding into the human factors of agile methodology. We designed an agile project management tool - the HASE…

Software Engineering · Computer Science 2015-02-17 Jun Lin

Autonomous robots operating in open and changing environments cannot always rely on predefined inputs, outputs, and action routines. Although existing learning methods enable robots to improve their performance through environmental…

Artificial Intelligence · Computer Science 2026-05-26 Hong Su

To improve the security and robustness of autonomous driving models, this paper presents SMET, a scenariobased metamorphic testing tool for autonomous driving models. The metamorphic relationship is divided into three dimensions (time,…

Robotics · Computer Science 2021-04-09 Haiyang Ao , Ya Pan

Fast changing tasks in unpredictable, collaborative environments are typical for medium-small companies, where robotised applications are increasing. Thus, robot programs should be generated in short time with small effort, and the robot…

Robotics · Computer Science 2022-03-18 Oscar Gustavsson , Matteo Iovino , Jonathan Styrud , Christian Smith

Drug discovery can be viewed as a combinatorial search over an immense chemical space, motivating the development of deep generative models for de novo molecular design. Among these, GPT-based molecular language models (MLM) have shown…

Machine Learning · Computer Science 2026-02-02 Qianwei Yang , Dong Xu , Zhangfan Yang , Sisi Yuan , Zexuan Zhu , Jianqiang Li , Junkai Ji

Spatiotemporal fusion aims to improve both the spatial and temporal resolution of remote sensing images, thus facilitating time-series analysis at a fine spatial scale. However, there are several important issues that limit the application…

Computer Vision and Pattern Recognition · Computer Science 2024-02-27 Houcai Guo , Dingqi Ye , Lorenzo Bruzzone

Object Detection (OD) is an important computer vision problem for industry, which can be used for quality control in the production lines, among other applications. Recently, Deep Learning (DL) methods have enabled practitioners to train OD…

Computer Vision and Pattern Recognition · Computer Science 2021-02-16 Igor Garcia Ballhausen Sampaio , Luigy Machaca , José Viterbo , Joris Guérin

With the increasing adoption of robots across industries, it is crucial to focus on developing advanced algorithms that enable robots to anticipate, comprehend, and plan their actions effectively in collaboration with humans. We introduce…

Robotics · Computer Science 2023-06-29 Meenakshi Sarkar , Vinayak Honkote , Dibyendu Das , Debasish Ghose

The use of model-based numerical simulation of wave propagation in rooms for engineering applications requires that acoustic conditions for multiple parameters are evaluated iteratively and this is computationally expensive. We present a…