English
Related papers

Related papers: DMINR: A Tool to Support Journalists Information V…

200 papers

We present Verifi2, a visual analytic system to support the investigation of misinformation on social media. On the one hand, social media platforms empower individuals and organizations by democratizing the sharing of information. On the…

Human-Computer Interaction · Computer Science 2019-03-19 Alireza Karduni , Isaac Cho , Ryan Wesslen , Sashank Santhanam , Svitlana Volkova , Dustin Arendt , Samira Shaikh , Wenwen Dou

In an age characterized by the proliferation of mis- and disinformation online, it is critical to empower readers to understand the content they are reading. Important efforts in this direction rely on manual or automatic fact-checking,…

Computation and Language · Computer Science 2025-06-17 Zain Muhammad Mujahid , Dilshod Azizov , Maha Tufail Agro , Preslav Nakov

Legal reasoning requires not only correct outcomes but also procedurally compliant reasoning processes. However, existing methods lack mechanisms to verify intermediate reasoning steps, allowing errors such as inapplicable statute citations…

Artificial Intelligence · Computer Science 2026-02-13 Xinyu Yang , Chenlong Deng , Tongyu Wen , Binyu Xie , Zhicheng Dou

Digital forensic investigation has become more challenging due to the rapid growth in the volume of encountered data. It is difficult for an investigator to examine the entire volume of encountered data manually. Approximate Matching…

Computers and Society · Computer Science 2021-02-22 Monika Singh

Existing information retrieval (IR) models often assume a homogeneous format, limiting their applicability to diverse user needs, such as searching for images with text descriptions, searching for a news article with a headline image, or…

Computer Vision and Pattern Recognition · Computer Science 2023-11-30 Cong Wei , Yang Chen , Haonan Chen , Hexiang Hu , Ge Zhang , Jie Fu , Alan Ritter , Wenhu Chen

The work is devoted to a modern state, methods and tools of monitoring, assessment and prediction of the indicators showing physical condition of a person and his/her capabilities to perform work duties. The work contains an analysis of…

Human-Computer Interaction · Computer Science 2017-05-11 V. Ya. Vilisov , D. A. Dyatlova

The prevalence of new technologies and social media has amplified the effects of misinformation on our societies. Thus, it is necessary to create computational tools to mitigate their effects effectively. This study aims to provide a…

Human-Computer Interaction · Computer Science 2019-03-19 Alireza Karduni

Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety properties of DNNs can be proven using tools…

Logic in Computer Science · Computer Science 2024-02-14 Remi Desmartin , Omri Isac , Grant Passmore , Kathrin Stark , Guy Katz , Ekaterina Komendantskaya

This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this paper, besides introducing the most basic features of the…

Software Engineering · Computer Science 2017-01-18 Paqui Lucio

As the capabilities of Large Language Models (LLMs) expand, more researchers are studying their adoption in newsrooms. However, much of the research focus remains broad and does not address the specific technical needs of investigative…

Human-Computer Interaction · Computer Science 2025-03-21 Besjon Cifliku , Hendrik Heuer

This paper describes VILLAIN, a multimodal fact-checking system that verifies image-text claims through prompt-based multi-agent collaboration. For the AVerImaTeC shared task, VILLAIN employs vision-language model agents across multiple…

Computation and Language · Computer Science 2026-02-23 Jaeyoon Jung , Yejun Yoon , Kunwoo Park

Autonomous agents based on large language models (LLMs) are rapidly evolving to handle multi-turn tasks, but ensuring their trustworthiness remains a critical challenge. A fundamental pillar of this trustworthiness is calibration, which…

Computation and Language · Computer Science 2026-01-13 Weihao Xuan , Qingcheng Zeng , Heli Qi , Yunze Xiao , Junjue Wang , Naoto Yokoya

www.processmining-software.com is a dedicated website for process mining software comparison and was developed to give practitioners and researchers an overview of commercial tools available on the market. Based on literature review and…

Software Engineering · Computer Science 2021-02-05 Daniel Viner , Matthias Stierle , Martin Matzner

As news organizations embrace transparency practices on their websites to distinguish themselves from those spreading misinformation, HCI designers have the opportunity to help them effectively utilize the ideals of transparency to build…

Human-Computer Interaction · Computer Science 2021-09-21 Md Momen Bhuiyan , Hayden Whitley , Michael Horning , Sang Won Lee , Tanushree Mitra

In Bioinformatics, text mining and text data mining sometimes interchangeably used is a process to derive high-quality information from text. Perl Status Reporter (SRr) is a data fetching tool from a flat text file and in this research…

Information Retrieval · Computer Science 2010-01-21 Sugam Sharma , Tzusheng Pei , Hari Cohly

Just-in-time Information Recommendation (JIR) is a service designed to deliver the most relevant information precisely when users need it, , addressing their knowledge gaps with minimal effort and boosting decision-making and efficiency in…

Information Retrieval · Computer Science 2025-05-21 Ke Yang , Kevin Ros , Shankar Kumar Senthil Kumar , ChengXiang Zhai

We present ir-measures, a new tool that makes it convenient to calculate a diverse set of evaluation measures used in information retrieval. Rather than implementing its own measure calculations, ir-measures provides a common interface to a…

Information Retrieval · Computer Science 2021-11-29 Sean MacAvaney , Craig Macdonald , Iadh Ounis

In today's era of information disorder, many organizations are moving to verify the veracity of news published on the web and social media. In particular, some agencies are exploring the world of online media and, through a largely manual…

Computers and Society · Computer Science 2025-06-27 Manuel Pratelli , Marinella Petrocchi

With Digital Twin (DT) construction and evolution occurring over time, stakeholders require tools to understand the current characteristics and conceptual architecture of the system at any time. We introduce DTInsight, a systematic and…

Software Engineering · Computer Science 2025-08-27 Kérian Fiter , Louis Malassigné-Onfroy , Bentley Oakes

Large Language Models (LLMs) have demonstrated remarkable capabilities in various applications. However, their use as writing assistants in specialized domains like finance, medicine, and law is often hampered by a lack of deep…

Computation and Language · Computer Science 2025-08-15 Song Mao , Lejun Cheng , Pinlong Cai , Guohang Yan , Ding Wang , Botian Shi