Search
Search Results
-
Data Archiving Model on Cloud for Video Surveillance Systems with Integrity Check
Video data has grown significantly as a result of the expanding usage of high-resolution cameras and longer retention periods, necessitating... -
The Prediction Model of Water Level in Front of the Check Gate of the LSTM Neural Network Based on AIW-CLPSO
The water level in front of the check gate of water transfer projects is affected by physical factors such as rainfall, terrain and hydraulic... -
Towards automated check-worthy sentence detection using Gated Recurrent Unit
People are exposed to a lot of information daily, which is a mix of facts, opinions, and false claims. The rate at which information is created and...
-
Consistency management in industrial continuous model-based development settings: a reality check
This article presents the state of practice of consistency management in thirteen industrial model-based development settings. Our analysis shows a...
-
Autonomous highway driving using reinforcement learning with safety check system based on time-to-collision
Decision making is an essential component of autonomous vehicle technology and received significant attention from academic and industry...
-
Moderate-density parity-check codes from projective bundles
New constructions for moderate-density parity-check (MDPC) codes using finite geometry are proposed. We design a parity-check matrix for the main...
-
RSpell: Retrieval-Augmented Framework for Domain Adaptive Chinese Spelling Check
Chinese Spelling Check (CSC) refers to the detection and correction of spelling errors in Chinese texts. In practical application scenarios, it is... -
Multilingual Detection of Check-Worthy Claims Using World Languages and Adapter Fusion
Check-worthiness detection is the task of identifying claims, worthy to be investigated by fact-checkers. Resource scarcity for non-world languages... -
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel
The Linux kernel adopts a large number of security checks to prevent security-sensitive operations from being executed under unsafe conditions. If a...
-
Efficient KZG-Based Univariate Sum-Check and Lookup Argument
We propose a novel KZG-based sum-check scheme, dubbed \(\textsf{Losum}\)... -
Overview of the NLPCC 2023 Shared Task: Chinese Spelling Check
This paper provides an overview of the Chinese Spelling Check shared task 8, held at NLPCC 2023. The task aims to correct spelling errors in Chinese... -
Linking Check-in Data to Users on Location-aware Social Networks
Linking check-in data to their owners can benefit many downstream tasks, such as POI (Point of Interest) recommendation, destination prediction, and... -
Towards Robust Chinese Spelling Check Systems: Multi-round Error Correction with Ensemble Enhancement
Chinese Spelling Check requires a system to automatically correct spelling errors in a sentence. There are diverse methods proposed to solve this... -
The CLEF-2024 CheckThat! Lab: Check-Worthiness, Subjectivity, Persuasion, Roles, Authorities, and Adversarial Robustness
The first five editions of the CheckThat! lab focused on the main tasks of the information verification pipeline: check-worthiness, evidence... -
Meta-learning Enhanced Next POI Recommendation by Leveraging Check-ins from Auxiliary Cities
Most existing point-of-interest (POI) recommenders aim to capture user preference by employing city-level user historical check-ins, thus... -
Dual-Detector: An Unsupervised Learning Framework for Chinese Spelling Check
The task of Chinese Spelling Check (CSC) is to detect and correct spelling errors in Chinese sentences. Since the scale of labeled CSC training set... -
Detecting API Missing-Check Bugs Through Complete Cross Checking of Erroneous Returns
Missing-check of erroneous execution states may cause critical security problems, such as null pointer dereference bugs or logic errors, which could... -
Model Checking Algorithms
In Chap. 4 , we have explained how NuSMV can be used to verify LTL and CTL formulae, and how Spin can be... -
Empowering Educators: Automated Short Answer Grading with Inconsistency Check and Feedback Integration using Machine Learning
Automatic Short Answer Grading (ASAG) is a thriving domain of natural language understanding, focusing on learning analytics research. ASAG solutions...
-
Mining location based social networks to understand the citizen’s check-in patterns
Analyzing and understanding the movement patterns of the citizen’s with in a city, plays an important role in urban and transportation planning....