中文
相关论文

相关论文: VERSA: Verified Event Data Format for Reliable Soc…

200 篇论文

Epidemic outbreaks can cause critical health concerns and severe global economic crises. For countries or regions with new infectious disease outbreaks, it is essential to generate preventive strategies by learning lessons from others with…

机器学习 · 计算机科学 2024-04-17 X. Xiao , P. Chen , X. Cao , K. Liu , L. Deng , D. Zhao , Z. Chen , Q. Deng , F. Yu , H. Zhang

In the era of big data, ensuring the quality of datasets has become increasingly crucial across various domains. We propose a comprehensive framework designed to automatically assess and rectify data quality issues in any given dataset,…

数据库 · 计算机科学 2024-09-17 Djibril Sarr

We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuses on data that is naturally modeled as continuous random…

数据库 · 计算机科学 2009-09-15 Yanlei Diao , Boduo Li , Anna Liu , Liping Peng , Charles Sutton , Thanh Tran , Michael Zink

In soccer (or association football), players quickly go from heroes to zeroes, or vice-versa. Performance is not a static measure but a somewhat volatile one. Analyzing performance as a time series rather than a stationary point in time is…

机器学习 · 计算机科学 2022-09-09 Tiago Mendes-Neves , Luís Meireles , João Mendes-Moreira

The expected possession value (EPV) of a soccer possession represents the likelihood of a team scoring or receiving the next goal at any time instance. By decomposing the EPV into a series of subcomponents that are estimated separately, we…

机器学习 · 计算机科学 2021-08-05 Javier Fernandez , Luke Bornn , Daniel Cervone

Evaluating sports players based on their performance shares core challenges with evaluating healthcare providers based on patient outcomes. Drawing on recent advances in healthcare provider profiling, we cast sports player evaluation within…

应用统计 · 统计学 2026-02-27 Herbert P. Susmann , Antonio D'Alessandro

Event management in sensor networks is a multidisciplinary field involving several steps across the processing chain. In this paper, we discuss the major steps that should be performed in real- or near real-time event handling including…

分布式、并行与集群计算 · 计算机科学 2018-03-16 Vassilis Papataxiarhis , Stathes Hadjiefthymiades

Soccer is undeniably the most popular sport world-wide and everyone from general managers and coaching staff to fans and media are interested in evaluating players' performance. Metrics applied successfully in other sports, such as the…

应用统计 · 统计学 2020-12-04 Konstantinos Pelechrinis , Wayne Winston

Opacity is an information flow property that captures the notion of plausible deniability in dynamic systems, that is whether an intruder can deduce that "secret" behavior has occurred. In this paper we provide a general framework of…

形式语言与自动机理论 · 计算机科学 2022-05-10 Andrew Wintenberg , Matthew Blischke , Stéphane Lafortune , Necmiye Ozay

Transfers in professional football (soccer) are risky investments because of the large transfer fees and high risks involved. Although data-driven models can be used to improve transfer decisions, existing models focus on describing…

应用统计 · 统计学 2025-09-29 Koen W. van Arem , Floris Goes-Smit , Jakob Söhl

This study introduces a novel approach to enhance the spatial-temporal resolution of time-event pixels based on luminance changes captured by event cameras. These cameras present unique challenges due to their low resolution and the sparse,…

图像与视频处理 · 电气工程与系统科学 2024-08-14 Waseem Shariff , Joe Lemley , Peter Corcoran

In enterprise data pipelines, data insertions occur periodically and may impact downstream services if data quality issues are not addressed. Typically, such problems can be investigated and fixed by on-call engineers, but locating the…

数据库 · 计算机科学 2024-08-07 Xinwei Lin , Jing Zhao , Peng Di , Chuan Xiao , Rui Mao , Yan Ji , Makoto Onizuka , Zishuo Ding , Weiyi Shang , Jianbin Qin

In this paper, we propose a data-driven robust safety verification framework for stochastic dynamical systems modeled as Markov decision processes with time-varying and uncertain transition probabilities. Rather than assuming access to the…

系统与控制 · 电气工程与系统科学 2025-12-09 Abhijit Mazumdar , Manuela L. Bujorianu , Rafal Wisniewski

League of Legends (LoL) has been a dominant esport for a decade, yet the inherent complexity of the game has stymied the creation of analytical measures of player skill and performance. Current industry standards are limited to…

应用统计 · 统计学 2024-05-07 Amy X. Zhang , Parth Naidu

Soccer is one of the most popular sport worldwide, with live broadcasts frequently available for major matches. However, extracting detailed, frame-by-frame information on player actions from these videos remains a challenge. Utilizing…

计算机视觉与模式识别 · 计算机科学 2024-07-12 Shikun Xu , Yandong Zhu , Gen Li , Changhu Wang

Process mining is a discipline which concerns the analysis of execution data of operational processes, the extraction of models from event data, the measurement of the conformance between event data and normative models, and the enhancement…

数据结构与算法 · 计算机科学 2022-04-09 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst

According to recent empirical studies, the group draw of major sports tournaments can imply a high level of uncertainty, and some lucky teams enjoy an unfair advantage over the other teams. We propose a novel technique to quantify this draw…

Document-level Event Causality Identification (DECI) aims to identify causal relations between event pairs in a document. It poses a great challenge of across-sentence reasoning without clear causal indicators. In this paper, we propose a…

计算与语言 · 计算机科学 2022-04-18 Meiqi Chen , Yixin Cao , Kunquan Deng , Mukai Li , Kun Wang , Jing Shao , Yan Zhang

In this paper we introduce a new publicly available dataset for verification against textual sources, FEVER: Fact Extraction and VERification. It consists of 185,445 claims generated by altering sentences extracted from Wikipedia and…

计算与语言 · 计算机科学 2018-12-19 James Thorne , Andreas Vlachos , Christos Christodoulopoulos , Arpit Mittal

We present a method based on program analysis and formal verification to identify conditionally relevant variables (CRVs) - variables which could lead to violation of safety properties in control software when affected by single event…

软件工程 · 计算机科学 2025-05-13 Ganesha , Sujit Kumar Chakrabarti