Search
Search Results
-
Evaluative Item-Contrastive Explanations in Rankings
The remarkable success of Artificial Intelligence in advancing automated decision-making is evident both in academia and industry. Within the...
-
A deep learning based cognitive model to probe the relation between psychophysics and electrophysiology of flicker stimulus
The flicker stimulus is a visual stimulus of intermittent illumination. A flicker stimulus can appear flickering or steady to a human subject,...
-
Improving Likert scale big data analysis in psychometric health economics: reliability of the new compositional data approach
Bipolar psychometric scales data are widely used in psychologic healthcare. Adequate psychological profiling benefits patients and saves time and...
-
Multidimensional graph transformer networks for trajectory prediction in urban road intersections
With the rapid development of autonomous driving, accurately predicting the future movement trajectories of various agents in complex scenarios, such...
-
Granular Syntax Processing with Multi-Task and Curriculum Learning
Syntactic processing techniques are the foundation of natural language processing (NLP), supporting many downstream NLP tasks. In this paper, we...
-
Twin Bounded Support Vector Machine with Capped Pinball Loss
In order to obtain a more robust and sparse classifier, in this paper, we propose a novel classifier termed as twin bounded support vector machine...
-
Prescribed-Time Sampled-Data Control for the Bipartite Consensus of Linear Multi-Agent Systems in Singed Networks
This article examines the prescribed-time sampled-data control problem for multi-agent systems in signed networks. A time-varying high gain-based...
-
Pruning Deep Neural Networks for Green Energy-Efficient Models: A Survey
Over the past few years, larger and deeper neural network models, particularly convolutional neural networks (CNNs), have consistently advanced...
-
Unmasking GAN-Generated Faces with Optimal Deep Learning and Cognitive Computing-Based Cutting-Edge Detection System
The emergence of deep learning (DL) has improved the excellence of generated media. However, with the enlarged level of photorealism, synthetic media...
-
A survey of multi-population optimization algorithms for tracking the moving optimum in dynamic environments
The solution spaces of many real-world optimization problems change over time. Such problems are called dynamic optimization problems (DOPs), which...
-
Cognitive Intelligent Decisions for Big Data and Cloud Computing in Industrial Applications using Trifold Algorithms
In contemporary real-time applications, diminutive devices are increasingly employing a greater portion of the spectrum to transmit data despite the...
-
Learning from Failure: Towards Develo** a Disease Diagnosis Assistant That Also Learns from Unsuccessful Diagnoses
In recent years, automatic disease diagnosis has gained immense popularity in research and industry communities. Humans learn a task through both...
-
Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL
We describe the design, implementation and verification of an automated theorem prover for first-order logic with functions. The proof search...
-
Multi-Modal Generative DeepFake Detection via Visual-Language Pretraining with Gate Fusion for Cognitive Computation
With the widespread adoption of deep learning, there has been a notable increase in the prevalence of multimodal deepfake content. These deepfakes...
-
Towards Long-Term Remembering in Federated Continual Learning
BackgroundFederated Continual Learning (FCL) involves learning from distributed data on edge devices with incremental knowledge. However, current FCL...
-
Prognostic prediction model for esophageal cancer based on probability membrane systems
Esophageal squamous cell carcinoma (ESCC) is a clinically common heterogeneous malignant tumor of the digestive system and also one of the diseases...
-
Refinement of Parallel Algorithms Down to LLVM: Applied to Practically Efficient Parallel Sorting
We present a stepwise refinement approach to develop verified parallel algorithms, down to efficient LLVM code. The resulting algorithms’ performance...
-
SPEI-FL: Serverless Privacy Edge Intelligence-Enabled Federated Learning in Smart Healthcare Systems
Smart healthcare systems promise significant benefits for fast and accurate medical decisions. However, working with personal health data presents...
-
Evolutionary spiking neural networks: a survey
Spiking neural networks (SNNs) are gaining increasing attention as potential computationally efficient alternatives to traditional artificial neural...
-
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic
In recent years some papers have addressed the problem of the validity in Intuitionistic Propositional Logic (IPL) using the approach proposed by...