中文
相关论文

相关论文: Bus Factor Explorer

200 篇论文

Business process simulation (BPS) is a key tool for analyzing and optimizing organizational workflows, supporting decision-making by estimating the impact of process changes. The reliability of such estimates depends on the ability of a BPS…

Control barrier functions (CBFs) have been widely used for synthesizing controllers in safety-critical applications. When used as a safety filter, it provides a simple and computationally efficient way to obtain safe controls from a…

系统与控制 · 电气工程与系统科学 2023-03-13 Bolun Dai , Heming Huang , Prashanth Krishnamurthy , Farshad Khorrami

Big, transport-related datasets are nowadays publicly available, which makes data-driven mobility analysis possible. Trips with their origins, destinations and travel times are collected in publicly available big databases, which allows for…

物理与社会 · 物理学 2019-11-26 Guido Cantelmo , Kucharski Rafal , Constantinos Antoniou

We present the Influence Flower, a new visual metaphor for the influence profile of academic entities, including people, projects, institutions, conferences, and journals. While many tools quantify influence, we aim to expose the flow of…

Test-time compute scaling has emerged as a new axis along which to improve model accuracy, where additional computation is used at inference time to allow the model to think longer for more challenging problems. One promising approach for…

Microtask crowdsourcing is the practice of breaking down an overarching task to be performed into numerous, small, and quick microtasks that are distributed to an unknown, large set of workers. Microtask crowdsourcing has shown potential in…

软件工程 · 计算机科学 2016-12-12 Christian Medeiros Adriano , Andre van der Hoek

We introduce a tool that supports continuous flow analysis in order to detect security problems as the user edits. The tool uses abstract interpretation over both byte codes and abstract syntax trees to trace the flow of both type…

软件工程 · 计算机科学 2019-10-01 Steven P. Reiss

This article introduces Unsub Extender, a free tool to help libraries analyze their Unsub data export files. Unsub is a collection development dashboard that gathers and forecasts journal-level usage metrics to provide academic libraries…

数字图书馆 · 计算机科学 2022-10-26 Eric Schares

Human mobility patterns refer to the regularities and trends in the way people move, travel, or navigate through different geographical locations over time. Detecting human mobility patterns is essential for a variety of applications,…

社会与信息网络 · 计算机科学 2023-05-23 Yisheng Alison Zheng , Abdallah Lakhdari , Amani Abusafia , Shing Tai Tony Lui , Athman Bouguettaya

Factorised databases are relational databases that use compact factorised representations at the physical layer to reduce data redundancy and boost query performance. This paper introduces FDB, an in-memory query engine for…

数据库 · 计算机科学 2012-03-14 Nurzhan Bakibayev , Dan Olteanu , Jakub Závodný

In the research of Intelligent Transportation Systems (ITS), traffic simulation is a key procedure for the evaluation of new methods and optimization of strategies. However, existing traffic simulation systems face two challenges. First,…

分布式、并行与集群计算 · 计算机科学 2024-05-22 Jun Zhang , Wenxuan Ao , Junbo Yan , Can Rong , Depeng Jin , Wei Wu , Yong Li

In this work, we develop the Batch Belief Trees (BBT) algorithm for motion planning under motion and sensing uncertainties. The algorithm interleaves between batch sampling, building a graph of nominal trajectories in the state space, and…

机器人学 · 计算机科学 2023-04-24 Dongliang Zheng , Panagiotis Tsiotras

Routing is central to networking performance, including: (1) latency in anycast services and websites served from multiple locations,(2) networking expenses and throughput in multi-homed enterprises, (3) the ability to keep traffic domestic…

网络与互联网体系结构 · 计算机科学 2025-10-24 Xiao Song , John Heidemann

This paper presents experimental results from real-time parameter estimation of a system model and subsequent trajectory optimization for a dynamic task using the Baxter Research Robot from Rethink Robotics. An active estimator maximizing…

机器人学 · 计算机科学 2017-09-12 Andrew D. Wilson , Jarvis A. Schultz , Alex R. Ansari , Todd D. Murphey

The need to reason about uncertainty in large, complex, and multi-modal datasets has become increasingly common across modern scientific environments. The ability to transform samples from one distribution $P$ to another distribution $Q$…

机器学习 · 统计学 2018-11-30 Diego A. Mesa , Justin Tantiongloc , Marcela Mendoza , Todd P. Coleman

In modern software engineering, build systems play the crucial role of facilitating the conversion of source code into software artifacts. Recent research has explored high-level causes of build failures, but has largely overlooked the…

软件工程 · 计算机科学 2025-04-03 Anwar Ghammam , Dhia Elhaq Rzig , Mohamed Almukhtar , Rania Khalsi , Foyzul Hassan , Marouane Kessentini

GitHub is the most widely used social, distributed version control system. It has around 10 million registered users and hosts over 16 million public repositories. Its user base is also very active as GitHub ranks in the top 100 Alexa most…

编程语言 · 计算机科学 2016-03-02 Amirali Sanatinia , Guevara Noubir

The is no other model or hypothesis verification tool in Bayesian statistics that is as widely used as the Bayes factor. We focus on generative models that are likelihood-free and, therefore, render the computation of Bayes factors…

统计方法学 · 统计学 2024-12-30 Jungeum Kim , Veronika Rockova

Refactoring is widely recognized as one of the efficient techniques to manage technical debt and maintain a healthy software project through enforcing best design practices or coping with design defects. Previous refactoring surveys have…

软件工程 · 计算机科学 2021-09-24 Eman Abdullah AlOmar , Anthony Peruma , Mohamed Wiem Mkaouer , Christian D. Newman , Ali Ouni

Context: GitHub hosts an impressive number of high-quality OSS projects. However, selecting "the right tool for the job" is a challenging task, because we do not have precise information about those high-quality projects. Objective: In this…

软件工程 · 计算机科学 2020-03-11 Jailton Coelho , Marco Tulio Valente , Luciano Milen , Luciana L. Silva