English
Related papers

Related papers: Modelling and Refinement in CODA

200 papers

The ROOT software framework is foundational for the HEP ecosystem, providing capabilities such as IO, a C++ interpreter, GUI, and math libraries. It uses object-oriented concepts and build-time components to layer between them. We believe…

Software Engineering · Computer Science 2019-10-02 Oksana Shadura , Brian Paul Bockelman , Vassil Vassilev

Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data…

Programming Languages · Computer Science 2016-07-14 Stephen Gilmore

Unsupervised Domain Adaptation (UDA) is essential for enabling semantic segmentation in new domains without requiring costly pixel-wise annotations. State-of-the-art (SOTA) UDA methods primarily use self-training with architecturally…

Computer Vision and Pattern Recognition · Computer Science 2025-04-15 Beomseok Kang , Niluthpol Chowdhury Mithun , Abhinav Rajvanshi , Han-Pang Chiu , Supun Samarasekera

3D LiDAR semantic segmentation is fundamental for autonomous driving. Several Unsupervised Domain Adaptation (UDA) methods for point cloud data have been recently proposed to improve model generalization for different sensors and…

Computer Vision and Pattern Recognition · Computer Science 2022-07-21 Cristiano Saltori , Fabio Galasso , Giuseppe Fiameni , Nicu Sebe , Elisa Ricci , Fabio Poiesi

Compiler optimizations are designed to improve run-time performance while preserving input-output behavior. Correctness in this sense does not necessarily preserve security: it is known that standard optimizations may break or weaken…

Formal Languages and Automata Theory · Computer Science 2019-11-15 Kedar S. Namjoshi , Lucas M. Tabajara

The dynamic evolution of real-world necessitates model editing within Large Language Models. While existing methods explore modular isolation or parameter-efficient strategies, they still suffer from semantic drift or knowledge forgetting…

Artificial Intelligence · Computer Science 2026-03-20 Haihua Luo , Xuming Ran , Tommi Kärkkäinen , Zhonghua Chen , Jiangrong Shen , Qi Xu , Fengyu Cong

Inspired by a new coded computation algorithm for invertible functions, we propose Coded-InvNet a new approach to design resilient prediction serving systems that can gracefully handle stragglers or node failures. Coded-InvNet leverages…

Machine Learning · Computer Science 2021-06-28 Tuan Dinh , Kangwook Lee

This paper explores the intricate relationship between interpretability and robustness in deep learning models. Despite their remarkable performance across various tasks, deep learning models often exhibit critical vulnerabilities,…

Machine Learning · Computer Science 2024-12-30 Navid Nayyem , Abdullah Rakin , Longwei Wang

Structured embedding transformations offer a promising approach for enhancing the efficiency and coherence of language model inference. The introduction of Structural Embedding Projection (SEP) provides a mechanism for refining token…

Computation and Language · Computer Science 2025-08-11 Vincent Enoasmo , Cedric Featherstonehaugh , Xavier Konstantinopoulos , Zacharias Huntington

We introduce a comprehensive data-driven framework aimed at enhancing the modeling of physical systems, employing inference techniques and machine learning enhancements. As a demonstrative application, we pursue the modeling of cathodic…

Computational Physics · Physics 2025-02-04 Christian Jacobsen , Jiayuan Dong , Mehdi Khalloufi , Xun Huan , Karthik Duraisamy , Maryam Akram , Wanjiao Liu

Given the prevalence of rolling bearing fault diagnosis as a practical issue across various working conditions, the limited availability of samples compounds the challenge. Additionally, the complexity of the external environment and the…

Artificial Intelligence · Computer Science 2023-08-30 Jiang Liu , Wei Dai

By adequate employing of complex event processing (CEP), valuable information can be extracted from the underlying complex system and used in controlling and decision situations. An example application area is management of IT systems for…

Software Engineering · Computer Science 2012-08-02 Istvan David

In Near Memory Processing (NMP), processing elements(PEs) are placed near the 3D memory, reducing unnecessary data transfers between the CPU and the memory. However, as the CPUs and the PEs of the NMP use a shared memory space, maintaining…

Hardware Architecture · Computer Science 2023-12-13 Amit Kumar Kabat , Shubhang Pandey , TG Venkatesh

Models are centrally important in many scientific fields. A model is a representation of a selected part of the world, which is the model s target system. Here, a system consists of a software portion as a component among many others.…

Software Engineering · Computer Science 2020-05-22 Sabah Al-Fedaghi

Frequent modifications of unit test cases are inevitable due to software's continuous underlying changes in source code, design, and requirements. Since manually maintaining software test suites is tedious, timely, and costly, automating…

Machine Learning · Computer Science 2023-10-06 Mosab Rezaei , Hamed Alhoori , Mona Rahimi

Engineering activities involve large groups of people from different domains and disciplines. They often generate important information flows that are difficult to manage. To face these difficulties, a knowledge engineering process is…

Other Computer Science · Computer Science 2012-01-25 Nicolas Perry , Samar Ammar-Khodja

The concept of component-based development (CBD) is widely practiced in software (SW) development. CBD is based on reuse of the existing components with the new ones. The objective of this paper is to propose a novel process model for CBD.…

Software Engineering · Computer Science 2012-02-14 Rizwan Jameel Qureshi , M. E. Sandhu

To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices has been proposed. To address timing requirements, each…

Logic in Computer Science · Computer Science 2023-06-22 Mahsa Zarneshan , Fatemeh Ghassemi , Ehsan Khamespanah , Marjan Sirjani , John Hatcliff

Time-distributed Optimization (TDO) is an approach for reducing the computational burden of Model Predictive Control (MPC). When using TDO, optimization iterations are distributed over time by maintaining a running solution estimate and…

Optimization and Control · Mathematics 2021-02-25 Dominic Liao-McPherson , Terrence Skibik , Jordan Leung , Ilya Kolmanovsky , Marco M. Nicotra

Over the past decades, coordination languages have emerged for the specification and implementation of interaction protocols for communicating software components. This class of languages includes Reo, a platform for compositional…

Programming Languages · Computer Science 2011-08-03 Sung-Shik T. Q. Jongmans , Farhad Arbab
‹ Prev 1 8 9 10 Next ›