English
Related papers

Related papers: Consolidating a Model for Describing Situated Soft…

200 papers

Experimental designs reflect assumptions about variable relationships that determine what causal queries researchers can answer through the experiment. Accounting for and communicating these assumptions is essential for drawing valid,…

Human-Computer Interaction · Computer Science 2026-04-15 London Bielicke , Anna Zhang , Shruti Tyagi , Emery Berger , Adam Chlipala , Eunice Jun

Adoption of machine learning models in healthcare requires end users' trust in the system. Models that provide additional supportive evidence for their predictions promise to facilitate adoption. We define consistent evidence to be both…

Computer Vision and Pattern Recognition · Computer Science 2021-11-16 Peiqi Wang , Ruizhi Liao , Daniel Moyer , Seth Berkowitz , Steven Horng , Polina Golland

Software analytics is a data-driven approach to decision making, which allows software practitioners to leverage valuable insights from data about software to achieve higher development process productivity and improve different aspects of…

Software Engineering · Computer Science 2022-01-12 Duarte Oliveira , João Fidalgo , Joelma Choma , Eduardo Guerra , Filipe Correia

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

Formal Languages and Automata Theory · Computer Science 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organizations. However, many challenges exist, such as limiting the…

Software Engineering · Computer Science 2014-02-03 Ove Armbrust , Masafumi Katahira , Yuko Miyamoto , Jürgen Münch , Haruka Nakao , Alexis Ocampo

Local decision rules are commonly understood to be more explainable, due to the local nature of the patterns involved. With numerical optimization methods such as gradient boosting, ensembles of local decision rules can gain good predictive…

Machine Learning · Computer Science 2025-08-27 Xin Du , Subramanian Ramamoorthy , Wouter Duivesteijn , Jin Tian , Mykola Pechenizkiy

A complex pervasive system is typically composed of many cooperating \emph{nodes}, running on machines with different capabilities, and pervasively distributed across the environment. These systems pose several new challenges such as the…

Software Engineering · Computer Science 2015-03-17 Nicolo' Maria Calcavecchia , Elisabetta Di Nitto

Software development processes are subject to variations in time and space, variations that can originate from learning effects, differences in application domains, or a number of other causes. Identifying and analyzing such differences is…

Software Engineering · Computer Science 2014-01-21 Martín Soto , Jürgen Münch

The paper studies sequential reasoning over graph-structured data, which stands as a fundamental task in various trending fields like automated math problem solving and neural graph algorithm learning, attracting a lot of research interest.…

Artificial Intelligence · Computer Science 2024-12-13 Shuo Shi , Chao Peng , Chenyang Xu , Zhengfeng Yang

In this third decade of systems engineering in the twenty-first century, it is important to develop and demonstrate practical methods to exploit machine-readable models in the engineering of systems. Substantial investment has been made in…

Software Engineering · Computer Science 2022-09-19 Siyuan Ji , Michael Wilkinson , Charles E. Dickerson

For task-oriented dialog systems to be maximally useful, it must be able to process conversations in a way that is (1) generalizable with a small number of training examples for new task domains, and (2) robust to user input in various…

Computation and Language · Computer Science 2021-01-01 Baolin Peng , Chunyuan Li , Zhu Zhang , Chenguang Zhu , Jinchao Li , Jianfeng Gao

Context: The globalisation of activities associated with software development and use has introduced many challenges in practice and for research. While the predominant approach to research in software engineering has followed a positivist…

Software Engineering · Computer Science 2021-02-01 Tony Clear , Stephen G. MacDonell

The development of large, software-intensive systems is a complex undertaking that we generally tackle by a divide and conquer strategy. Companies thereby face the challenge of coordinating individual aspects of software development, in…

Software Engineering · Computer Science 2023-08-16 Michael Unterkalmsteiner , Tony Gorschek , Robert Feldt , Eriks Klotins

Methods: This work introduces a method supporting the collaborative definition of machine learning tasks by leveraging model-based engineering in the formalization of the systems modeling language SysML. The method supports the…

Software Engineering · Computer Science 2023-07-11 Simon Raedler , Juergen Mangler , Stefanie Rinderle-Ma

This paper investigates foundation models tailored for music informatics, a domain currently challenged by the scarcity of labeled data and generalization issues. To this end, we conduct an in-depth comparative study among various…

Sound · Computer Science 2023-11-07 Minz Won , Yun-Ning Hung , Duc Le

Heraklit is an ongoing research program and development project aimed at creating an infrastructure for modeling large-scale, computer-integrated systems. We discuss the key requirements for such models (hierarchies, user view,…

Software Engineering · Computer Science 2022-05-23 Peter Fettke , Wolfgang Reisig

The emergence of pre-trained models has significantly impacted Natural Language Processing (NLP) and Computer Vision to relational datasets. Traditionally, these models are assessed through fine-tuned downstream tasks. However, this raises…

Computation and Language · Computer Science 2024-02-16 Prince Aboagye , Yan Zheng , Junpeng Wang , Uday Singh Saini , Xin Dai , Michael Yeh , Yujie Fan , Zhongfang Zhuang , Shubham Jain , Liang Wang , Wei Zhang

AI-based systems, currently driven largely by LLMs and tool-using agentic harnesses, are increasingly discussed as a possible threat to software engineering. Foundation models get stronger, agents can plan and act across multiple steps, and…

Software Engineering · Computer Science 2026-04-24 Robert Feldt , Per Lenberg , Julian Frattini , Dhasarathy Parthasarathy

Composition is a powerful principle for systems biology, focused on the interfaces, interconnections, and orchestration of distributed processes to enable integrative multiscale simulations. Whereas traditional models focus on the structure…

Other Quantitative Biology · Quantitative Biology 2024-11-25 Eran Agmon

With continued advances in Geographic Information Systems and related computational technologies, statisticians are often required to analyze very large spatial datasets. This has generated substantial interest over the last decade, already…

Methodology · Statistics 2019-05-14 Lu Zhang , Abhirup Datta , Sudipto Banerjee
‹ Prev 1 8 9 10 Next ›