English
Related papers

Related papers: Specification-Driven Generation and Evaluation of …

200 papers

Discrete event simulation specification (DEVS) is a formalism designed to describe both discrete state and continuous state systems. It is a powerful abstract mathematical notation. However, until recently it lacked proper graphical…

Other Computer Science · Computer Science 2007-05-23 Dmitry Zinoviev

Modeling and Simulation (M&S) for system design and prototyping is practiced today both in the industry and academia. M&S are two different areas altogether and have specific objectives. However, most of the times these two separate areas…

Software Engineering · Computer Science 2024-07-12 José L. Risco-Martín , J. M. Cruz , Saurabh Mittal , Bernard P. Zeigler

Producing accurate software models is crucial in model-driven software engineering (MDE). However, modeling complex systems is an error-prone task that requires deep application domain knowledge. In the past decade, several automated…

Software Engineering · Computer Science 2024-08-27 Vittoriano Muttillo , Claudio Di Sipio , Riccardo Rubei , Luca Berardinelli , MohammadHadi Dehghani

Design patterns are well practices to share software development experiences. These patterns allow enhancing reusability, readability and maintainability of architecture and code of software applications. As simulation applies computerized…

Software Engineering · Computer Science 2020-08-24 Maamar El Amine Hamri

Traditional simulation methods reproduce occurred emergency instances through presetting to assist people in risk assessment and emergency decision-making. However, due to the lack of randomness and diversity, existing simulation systems…

Artificial Intelligence · Computer Science 2026-05-12 Zhengqing Hu , Dong Chen , Junkun Yuan , Liang Liu , Hua Wang , Zhao Jin , Yingchaojie Feng , Wei Chen , Mingliang Xu

In the field of Natural Language Processing (NLP), Large Language Models (LLMs) have shown great potential in document-level event extraction tasks, but existing methods face challenges in the design of prompts. To address this issue, we…

Computation and Language · Computer Science 2024-08-13 Zhuoyuan Liu , Yilin Luo

DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence ofpertinent "events" input to a system (or internal, in the case of timeouts) cause…

Other Computer Science · Computer Science 2018-05-03 Yentl Van Tendeloo , Hans Vangheluwe

A discrete-event simulation (DES) involves the execution of a sequence of event handlers dynamically scheduled at runtime. As a consequence, a priori knowledge of the control flow of the overall simulation program is limited. In particular,…

Performance · Computer Science 2018-05-14 Marc Leinweber , Hannes Hartenstein , Philipp Andelfinger

Advancements in high-computing devices increase the necessity for improved and new understanding and development of smart manufacturing factories. Discrete-event models with simulators have been shown to be critical to architect, designing,…

Machine Learning · Computer Science 2024-08-20 Vamsi Krishna Pendyala , Hessam S. Sarjoughian , Bala Potineni , Edward J. Yellig

Consanguinity or inter-cousin marriage is a phenomenon quite prevalent in certain regions around the globe. Consanguineous parents have a higher risk of having offspring with congenital disorders. It is difficult to model large scale…

Social and Information Networks · Computer Science 2017-08-14 Noreen Akhtar , Muaz A. Niazi , Farah Mustafa , Amir Hussain

This paper investigates models of event implications. Specifically, how well models predict entity state-changes, by targeting their understanding of physical attributes. Nominally, Large Language models (LLM) have been exposed to…

Computation and Language · Computer Science 2022-11-11 Evangelia Spiliopoulou , Artidoro Pagnoni , Yonatan Bisk , Eduard Hovy

Large language models (LLMs) have recently demonstrated impressive multimodal reasoning capabilities, yet their understanding of purely numerical time-series signals remains limited. Existing approaches mainly focus on forecasting or trend…

Machine Learning · Computer Science 2025-10-29 Ninghui Feng , Yiyan Qi

Vision-language model (VLM) shows promise for high-level planning in smart manufacturing, yet their deployment in dynamic workcells faces two critical challenges: (1) stateless operation, they cannot persistently track out-of-view states,…

Robotics · Computer Science 2026-02-18 Guoqin Tang , Qingxuan Jia , Gang Chen , Tong Li , Zeyuan Huang , Zihang Lv , Ning Ji

The Discrete Event System Specification formalism (DEVS), which supports hierarchical and modular model composition, has been widely used to understand, analyze and develop a variety of systems. DEVS has been implemented in various…

Performance · Computer Science 2024-02-09 José L. Risco-Martín , Saurabh Mittal , Juan Carlos Fabero , Marina Zapater , Román Hermida

Understanding how individuals perceive and recall information in their natural environments is critical to understanding potential failures in perception (e.g., sensory loss) and memory (e.g., dementia). Event segmentation, the process of…

Computation and Language · Computer Science 2025-10-20 Ryan A. Panela , Alex J. Barnett , Morgan D. Barense , Björn Herrmann

Verifying closed-loop vision-based control systems remains a fundamental challenge due to the high dimensionality of images and the difficulty of modeling visual environments. While generative models are increasingly used as camera…

Computer Vision and Pattern Recognition · Computer Science 2026-04-03 Yuang Geng , Zhuoyang Zhou , Zhongzheng Zhang , Siyuan Pan , Hoang-Dung Tran , Ivan Ruchkin

We introduce Simulation Streams, a programming paradigm designed to efficiently control and leverage Large Language Models (LLMs) for complex, dynamic simulations and agentic workflows. Our primary goal is to create a minimally interfering…

Artificial Intelligence · Computer Science 2025-02-03 Peter Sunehag , Joel Z. Leibo

Event scenarios are often complex and involve multiple event sequences connected through different entity participants. Exploring such complex scenarios requires an ability to branch through different sequences, something that is difficult…

Computation and Language · Computer Science 2023-02-15 Mahnaz Koupaee , Greg Durrett , Nathanael Chambers , Niranjan Balasubramanian

A world model is an AI system that simulates how an environment evolves under actions, enabling planning through imagined futures rather than reactive perception. Current world models, however, suffer from visual conflation: the mistaken…

Artificial Intelligence · Computer Science 2026-01-23 Zhikang Chen , Tingting Zhu

Simulation is an invaluable tool for developing and evaluating controllers for self-driving cars. Current simulation frameworks are driven by highly-specialist domain specific languages, and so a natural language interface would greatly…

Artificial Intelligence · Computer Science 2023-10-27 Antonio Valerio Miceli-Barone , Alex Lascarides , Craig Innes
‹ Prev 1 2 3 10 Next ›