English
Related papers

Related papers: LEI2JSON: Schema-based Validation and Conversion o…

200 papers

With the rapid accumulation of text data produced by data-driven techniques, the task of extracting "data annotations"--concise, high-quality data summaries from unstructured raw text--has become increasingly important. The recent advances…

Human-Computer Interaction · Computer Science 2023-04-03 Xiaoyu Zhang , Xiwei Xuan , Alden Dima , Thurston Sexton , Kwan-Liu Ma

Catalog maintenance of space objects by limited number of ground-based sensors presents a formidable challenging task to the space community. This article presents a methodology for time-invariant tracking and surveillance of space objects…

Instrumentation and Methods for Astrophysics · Physics 2025-07-02 Partha Chowdhury , Harsha M , Chinni Prabhunath Georg , Arun Balaji Buduru , Sanat K Biswas

The proliferation of automated data collection schemes and the advances in sensorics are increasing the amount of data we are able to monitor in real-time. However, given the high annotation costs and the time required by quality…

Machine Learning · Statistics 2023-07-17 Davide Cacciarelli , Murat Kulahci , John Sølve Tyssedal

We introduce LAESI, a Synthetic Leaf Dataset of 100,000 synthetic leaf images on millimeter paper, each with semantic masks and surface area labels. This dataset provides a resource for leaf morphology analysis primarily aimed at beech and…

Event Detection (ED) is the task of identifying and classifying trigger words of event mentions in text. Despite considerable research efforts in recent years for English text, the task of ED in other languages has been significantly less…

Computation and Language · Computer Science 2022-11-21 Amir Pouran Ben Veyseh , Minh Van Nguyen , Franck Dernoncourt , Thien Huu Nguyen

Entity recognition is a fundamental task in understanding document images. Traditional sequence labeling frameworks treat the entity types as class IDs and rely on extensive data and high-quality annotations to learn semantics which are…

Computation and Language · Computer Science 2022-04-13 Zilong Wang , Jingbo Shang

We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a variety of automated theorem provers (ATPs) to check verification…

Logic in Computer Science · Computer Science 2016-07-07 Lars Hupel , Viktor Kuncak

Successfully training a deep neural network demands a huge corpus of labeled data. However, each label only provides limited information to learn from and collecting the requisite number of labels involves massive human effort. In this…

Computation and Language · Computer Science 2020-04-17 Dong-Ho Lee , Rahul Khanna , Bill Yuchen Lin , Jamin Chen , Seyeon Lee , Qinyuan Ye , Elizabeth Boschee , Leonardo Neves , Xiang Ren

Background: Plant breeders are utilising an increasingly diverse range of data types in order to identify lines that have desirable characteristics which are suitable to be taken forward in plant breeding programmes. There are a number of…

Human-Computer Interaction · Computer Science 2014-07-15 Paul D. Shaw , Martin Graham , Jessie Kennedy , Iain Milne , David F. Marshall

In today's technologically driven world, the spread of fake news, particularly during crucial events such as elections, presents an increasing challenge to the integrity of information. To address this challenge, we introduce FakeWatch…

Computation and Language · Computer Science 2023-12-12 Tahniat Khan , Mizanur Rahman , Veronica Chatrath , Oluwanifemi Bamgbose , Shaina Raza

Scientific document classification is a critical task and often involves many classes. However, collecting human-labeled data for many classes is expensive and usually leads to label-scarce scenarios. Moreover, recent work has shown that…

Computation and Language · Computer Science 2024-10-22 Tim Schopf , Alexander Blatzheim , Nektarios Machner , Florian Matthes

Seeders (peers that do not request anything but contribute to the system) are a powerful concept in peer-to-peer (P2P). They allow to leverage the capacities of a P2P system. While seeding is a natural idea for filesharing or…

Networking and Internet Architecture · Computer Science 2011-04-27 Fabien Mathieu

Issue tracking systems are used in the software industry for the facilitation of maintenance activities that keep the software robust and up to date with ever-changing industry requirements. Usually, users report issues that can be…

Software Engineering · Computer Science 2022-02-16 Anas Nadeem , Muhammad Usman Sarwar , Muhammad Zubair Malik

The Ghana Cashew Disease Identification with Artificial Intelligence (CADI AI) project demonstrates the importance of sound data work as a precondition for the delivery of useful, localized datacentric solutions for public good tasks such…

Deep learning models for plant species identification rely on large annotated datasets. The PlantNet system enables global data collection by allowing users to upload and annotate plant observations, leading to noisy labels due to diverse…

Fuzzing is widely used for detecting bugs and vulnerabilities, with various techniques proposed to enhance its effectiveness. To combine the advantages of multiple technologies, researchers proposed ensemble fuzzing, which integrates…

Software Engineering · Computer Science 2025-07-31 Yukai Zhao , Shaohua Wang , Jue Wang , Xing Hu , Xin Xia

Organizations such as the International Energy Agency (IEA) spend significant amounts of time and money to manually fact check text documents summarizing data. The goal of the Scrutinizer system is to reduce verification overheads by…

Databases · Computer Science 2020-03-17 Georgios Karagiannis , Mohammed Saeed , Paolo Papotti , Immanuel Trummer

Video editing aims to modify input videos according to user intent. Recently, end-to-end training methods have garnered widespread attention, constructing paired video editing data through video generation or editing models. However,…

Computer Vision and Pattern Recognition · Computer Science 2026-04-21 Weicheng Wang , Zhicheng Zhang , Zhongqi Zhang , Juncheng Zhou , Yongjie Zhu , Wenyu Qin , Meng Wang , Pengfei Wan , Jufeng Yang

The Dynamic Flexible Job Shop Scheduling Problem (DFJSP) necessitates a trade-off between instant reaction to stochastic disturbances and global optimization of production goals. Conventional priority rules are insufficiently flexible to…

Artificial Intelligence · Computer Science 2026-05-29 Shijie Cao , Yuan Yuan , Jing Liu

Lecture slide element detection and retrieval are key problems in slide understanding. Training effective models for these tasks often depends on extensive manual annotation. However, annotating large volumes of lecture slides for…

Computer Vision and Pattern Recognition · Computer Science 2025-07-01 Suyash Maniyar , Vishvesh Trivedi , Ajoy Mondal , Anand Mishra , C. V. Jawahar
‹ Prev 1 8 9 10 Next ›