中文
相关论文

相关论文: Software system rationalisation: How to get better…

200 篇论文

Optimal control synthesis in stochastic systems with respect to quantitative temporal logic constraints can be formulated as linear programming problems. However, centralized synthesis algorithms do not scale to many practical systems. To…

系统与控制 · 计算机科学 2015-03-26 Jie Fu , Shuo Han , Ufuk Topcu

Collaborative competitions have gained popularity in the scientific and technological fields. These competitions involve defining tasks, selecting evaluation scores, and devising result verification methods. In the standard scenario,…

机器学习 · 计算机科学 2024-08-22 Sergio Nava-Muñoz , Mario Graff , Hugo Jair Escalante

Language models (LMs) can perform complex reasoning either end-to-end, with hidden latent state, or compositionally, with transparent intermediate state. Composition offers benefits for interpretability and safety, but may need workflow…

Context: Software start-ups are emerging as suppliers of innovation and software-intensive products. However, traditional software engineering practices are not evaluated in the context, nor adopted to goals and challenges of start-ups. As…

Context: Systematic literature reviews (SLRs) have become standard practise as part of software engineering research, although their quality varies. To build on the reviews, both for future research and industry practice, they need to be of…

软件工程 · 计算机科学 2024-10-08 Muhammad Usman , Nauman bin Ali , Claes Wohlin

Visual programming, a modular and generalizable paradigm, integrates different modules and Python operators to solve various vision-language tasks. Unlike end-to-end models that need task-specific data, it advances in performing visual…

计算机视觉与模式识别 · 计算机科学 2024-08-06 Minghe Gao , Juncheng Li , Hao Fei , Liang Pang , Wei Ji , Guoming Wang , Zheqi Lv , Wenqiao Zhang , Siliang Tang , Yueting Zhuang

The paper develops a novel design optimization framework and associated computational techniques for staged deployment optimization of complex systems under operational uncertainties. It proposes a local scenario discretization method that…

最优化与控制 · 数学 2025-10-31 Koki Ho , Masafumi Isaji , Malav Patel , Kayla Garoust

Recommender systems rely heavily on increasing computation resources to improve their business goal. By deploying computation-intensive models and algorithms, these systems are able to inference user interests and exhibit certain ads or…

系统与控制 · 电气工程与系统科学 2021-03-04 Xun Yang , Yunli Wang , Cheng Chen , Qing Tan , Chuan Yu , Jian Xu , Xiaoqiang Zhu

Recruitment in large organisations often involves interviewing a large number of candidates. The process is resource intensive and complex. Therefore, it is important to carry it out efficiently and effectively. Planning the selection…

Software issue localization, the task of identifying the precise code locations (files, classes, or functions) relevant to a natural language issue description (e.g., bug report, feature request), is a critical yet time-consuming aspect of…

Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures. Upgrades are required on a short time basis and systems are expected to be reliable and consistent after…

计算机科学中的逻辑 · 计算机科学 2010-07-08 Josep Argelich , Daniel Le Berre , Inês Lynce , Joao Marques-Silva , Pascal Rapicault

Large language models (LLMs) have exhibited extraordinary performance in a variety of tasks while it remains challenging for them to solve complex multi-step tasks as agents. In practice, agents sensitive to the outcome of certain key steps…

An issue tracker is a software tool used by organisations to interact with users and manage various aspects of the software development lifecycle. With the rise of agile methodologies, issue trackers have become popular in open and…

软件工程 · 计算机科学 2024-07-12 Lloyd Montgomery , Clara Lüders , Walid Maalej

Due to dynamic nature of current software development methods, changes in requirements are embraced and given proper consideration. However, this triggers the rank reversal problem which involves re-prioritizing requirements based on…

软件工程 · 计算机科学 2018-01-03 Syed Ali Asif , Zarif Masud , Rubaida Easmin , Alim Ul Gias

Context: Recent research indicates that Web queries written by software developers are not very successful in retrieving relevant results, performing measurably worse compared to general purpose Web queries. Most approaches up to this point…

软件工程 · 计算机科学 2022-07-27 Mia Mohammad Imran , Kostadin Damevski

The requirements in automation, digitalization, and fast computations have loaded the IT sector with expectations of highly reliable, efficient, and cost-effective software. Given that the process of testing, verification, and validation of…

软件工程 · 计算机科学 2022-09-08 Durga Shree N , Sree Dharinya S , Dasari Vijayasree , Nadendla Sai Roopa , Anugu Arun

In recent years, there has been an increasing recognition that when machine learning (ML) algorithms are used to automate decisions, they may mistreat individuals or groups, with legal, ethical, or economic implications. Recommender systems…

人工智能 · 计算机科学 2024-02-02 Hossein A. Rahmani , Mohammadmehdi Naghiaei , Yashar Deldjoo

Entity matching is a fundamental task in data cleaning and data integration. With the rapid adoption of large language models (LLMs), recent studies have explored zero-shot and few-shot prompting to improve entity matching accuracy.…

数据库 · 计算机科学 2025-12-01 Rohan Bopardikar , Jin Wang , Jia Zou

Context: User assistance is generally defined as the guided assistance to a user of a software system in order to help accomplish tasks and enhance user experience. Automated user assistance systems are equipped with online help system that…

人机交互 · 计算机科学 2020-03-13 Murat Acar , Bedir Tekinerdogan

One of the most important processing steps in any analysis pipeline is handling missing data. Traditional approaches simply delete any sample or feature with missing elements. Recent imputation methods replace missing data based on assumed…

数据库 · 计算机科学 2024-05-03 Kenneth Smith , Sharlee Climer