中文
相关论文

相关论文: MDA Models and PIM/PSM Transformations Using Exten…

200 篇论文

Transformers are the driving force behind today's Large Language Models (LLMs), serving as the foundation for their performance and versatility. Yet, their compute and memory costs grow with sequence length, posing scalability challenges…

In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushdown automata (TPDA). Furthermore, we describe how the…

计算机科学中的逻辑 · 计算机科学 2012-12-18 Parosh Aziz Abdulla , Mohamed Faouzi Atig , Jari Stenman

Generating code from a natural language using Large Language Models (LLMs) such as ChatGPT, seems groundbreaking. Yet, with more extensive use, it's evident that this approach has its own limitations. The inherent ambiguity of natural…

软件工程 · 计算机科学 2023-10-09 Ahmed R. Sadik , Sebastian Brulin , Markus Olhofer

In this paper, we describe a new scalable and modular material point method (MPM) code developed for solving large-scale problems in continuum mechanics. The MPM is a hybrid Eulerian-Lagrangian approach, which uses both moving material…

Adaptive Partition-based Methods (APM) are numerical methods to solve two-stage stochastic linear problems (2SLP). The core idea is to iteratively construct an adapted partition of the space of alea in order to aggregate scenarios while…

最优化与控制 · 数学 2021-09-13 Maël Forcier , Vincent Leclère

Urban transportation of next decade is expected to be disrupted by Autonomous Mobility on Demand (AMoD): AMoD providers will collect ride requests from users and will dispatch a fleet of autonomous vehicles to satisfy requests in the most…

多智能体系统 · 计算机科学 2018-11-07 Andrea Di Maria , Andrea Araldo , Giovanni Morana , Antonella Di Stefano

Existing large language models (LLMs) that mainly focus on Standard American English (SAE) often lead to significantly worse performance when being applied to other English dialects. While existing mitigations tackle discrepancies for…

计算与语言 · 计算机科学 2023-12-07 Yanchen Liu , William Held , Diyi Yang

Modern chip physical design relies heavily on Electronic Design Automation (EDA) tools, which often struggle to provide interpretable feedback or actionable guidance for improving routing congestion. In this work, we introduce a Multimodal…

硬件体系结构 · 计算机科学 2025-10-21 Yun-Da Tsai , Chang-Yu Chao , Liang-Yeh Shen , Tsung-Han Lin , Haoyu Yang , Mark Ho , Yi-Chen Lu , Wen-Hao Liu , Shou-De Lin , Haoxing Ren

Autonomous Driving Systems (ADS) require diverse and safety-critical traffic scenarios for effective training and testing, but the existing data generation methods struggle to provide flexibility and scalability. We propose LASER, a novel…

机器人学 · 计算机科学 2024-10-25 Hao Gao , Jingyue Wang , Wenyang Fang , Jingwei Xu , Yunpeng Huang , Taolue Chen , Xiaoxing Ma

In this paper, we propose a novel adaptive decoding mechanism (ADM) for the unmanned aerial vehicle (UAV)-enabled uplink (UL) non-orthogonal multiple access (NOMA) communications. Specifically, considering a harsh UAV environment, where…

In this paper, we introduce an automated approach to domain-specific metamodel construction relying on Large Language Model (LLM). The main focus is adoption in automotive domain. As outcome, a prototype was implemented as web service using…

软件工程 · 计算机科学 2025-03-10 Nenad Petrovic , Fengjunjie Pan , Vahid Zolfaghari , Alois Knoll

Solving the challenges of automatic machine translation of Building Automation System text metadata is a crucial first step in efficiently deploying smart building applications. The vocabulary used to describe building metadata appears…

计算与语言 · 计算机科学 2022-12-06 David Waterworth , Subbu Sethuvenkatraman , Quan Z. Sheng

Conformance testing is essential for ensuring that protocol implementations comply with their specifications. However, traditional testing approaches involve manually creating numerous test cases and scripts, making the process…

软件工程 · 计算机科学 2025-07-30 Xikai Sun , Fan Dang , Shiqi Jiang , Jingao Xu , Kebin Liu , Xin Miao , Zihao Yang , Weichen Zhang , Haimo Lu , Yawen Zheng , Yunhao Liu

There are many bottlenecks that decrease the flexibility of automotive systems, making their long-term maintenance, as well as updates and extensions in later lifecycle phases increasingly difficult, mainly due to long re-engineering,…

软件工程 · 计算机科学 2025-09-17 Nenad Petrovic , Lukasz Mazur , Alois Knoll

As ML applications are becoming ever more pervasive, fully-trained systems are made increasingly available to a wide public, allowing end-users to submit queries with their own data, and to efficiently retrieve results. With increasingly…

分布式、并行与集群计算 · 计算机科学 2020-06-01 Daniela Loreti , Marco Lippi , Paolo Torroni

Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose…

系统与控制 · 电气工程与系统科学 2019-11-14 Bernhard Wally , Jirí Vyskočil , Petr Novák , Christian Huemer , Radek Šindelář , Petr Kadera , Alexandra Mazak , Manuel Wimmer

The mirror descent algorithm (MDA) generalizes gradient descent by using a Bregman divergence to replace squared Euclidean distance. In this paper, we similarly generalize the alternating direction method of multipliers (ADMM) to Bregman…

最优化与控制 · 数学 2014-07-09 Huahua Wang , Arindam Banerjee

Today's scientific challenges, from climate modeling to Inertial Confinement Fusion design to novel material design, require exploring huge design spaces. In order to enable high-impact scientific discovery, we need to scale up our ability…

Adapting driving behavior to new environments, customs, and laws is a long-standing problem in autonomous driving, precluding the widespread deployment of autonomous vehicles (AVs). In this paper, we present LLaDA, a simple yet powerful…

机器人学 · 计算机科学 2024-04-12 Boyi Li , Yue Wang , Jiageng Mao , Boris Ivanovic , Sushant Veer , Karen Leung , Marco Pavone

Language models (LMs) are often expected to generate strings in some formal language; for example, structured data, API calls, or code snippets. Although LMs can be tuned to improve their adherence to formal syntax, this does not guarantee…

计算与语言 · 计算机科学 2024-08-06 Terry Koo , Frederick Liu , Luheng He