yusuke1997/dblp-id-title huggingface dataset:
Research on a Deep Learning-Based Congestion Detection and Optimization Method for Army Tactical Airspace
Knowledge Graph to Facilitate Cloud Security Compliance with NIST Cybersecurity Framework
2nd International Conference on Computer, Vision and Intelligent Technology, ICCVIT 2024, Huaibei, China, November 24-27, 2024
Tomographic Object Detection by Unsupervised Clustering
A Case-based Channel Selection Method for EEG Emotion Recognition Using Interpretable Transformer Networks
Wind Turbine Detection and Analysis Based On Deep Learning Methods
A Review of Human-Object Interaction Detection
The Defect Detection Algorithm for Sintered NdFeB Based on ADSEAM-YOLO
DLMM-DTI: Deep Learning-Based Mamba Model for Drug-Target Interaction Binary Classification Prediction
Sensitive Image Recognition based on Improved Channel Distillation Model
DO-UNet: Improved UNet Model for CT Image Segmentation using DBB and Octave Convolution
A Context-Aware Intelligent Educational Recommender System Incorporating User Behavioural Knowledge Graph and Causal Inference
Network Intrusion Detection with CNNs: A Comparative Study of Deep Learning and Machine Learning Models
Wrapper-based feature selection for general data set: the quantum sand cat swarm optimization
Multi-Scale and Multi-Modal Contrastive Learning for Hyperspectral and LiDAR Classification
Design of End Effector for Acupuncture Robot
The Application of Random Neural Networks in Fiber Optic Vibration Signal Recognition
MFB: A 3D point cloud segmentation model based on Mamba
A Robust Gray-code Pattern Decoding Method for 3D Scanning with Structured Light
Learning Temporal Consistency Correlation Filter with Gradient Feature for UAV Tracking
Nodeseq2vec: Node Sequence Representation Learning
FPGA-based Moving Object Detection Leveraging Frame Difference and Morphological Filtering
Key Technologies and Applications of Robotic Dual-Axis Hole Assembly for Satellite Components
Construction of 1-resilient Boolean functions with good cryptographic properties via genetic tabu search algorithm
Generation of Atrial Fibrillation Electrocardiogram and Atrial Fibrillation Classification Based on BiLSTM-CNN Generative Adversarial Network
Computational F-waves Extraction from Single-Lead Atrial Fibrillation ECG Based on a Frequency-Modulated Möbius Model
A Conflicting Evidence Fusion Method Based on a Greedy Strategy
A Novel Intelligent Classifier Based on Instantiated Weighted One-dependence Estimators
A Dynamic Spatio-Temporal Refinement Network for Multi-Vessel Trajectory Prediction
Crowd Evacuation Approach Based on Optimal Transport
SPM-MIM: A super-pixel based masked image modeling method for multitemporal remote sensing land cover classification
High Definition Flame Image Recognition Technology based on Improved YOLOv8
Binocular Vision Based Pavement Flatness Detection
Artificial intelligence based algorithm for automatic diagnosis and quantification of acute spontaneous intracranial hemorrhage
Enhancing detection of SSVEP-based surround suppression using canonical correlation analysis
A Sequence-to-Sequence Based Muti-Semantic Network with Attention for Long-Term Vessel Trajectory Prediction
Exploring Semantic Links in Bibliographic Network-based Citation Recommendation
Analysis of Sentiment Trends Based on Deep Learning
Two-branch weakly supervised semantic segmentation network based on web data enhancement
High-Capacity Reversible Data Hiding Algorithm for Medical Images
MobileNet-AFF: Multi-Scale Feature Fusion for Fatigue Driving Detection
Deep Learning-Based Method for Detecting Surface Defects in Air Filters
Social-Passing: A New Approach to Trajectory Prediction in Multi-Vessel Scenarios for Sensing Intrinsic Social Information of Vessels
Research on the application of Bot Chat Technology in the field of medical assistance
Mobile Robot Path Planning Based On Improved DDQN Algorithm
Enhanced Real-time Pavement Damage Analysis: Integrating CNN Edge Detection with YOLO for Accurate Classification
Design and Implementation of a Campus Scenic Intelligent Car System
Multi layer segmentation method for ophthalmic OCT images based on Gabor filtering
Transmission-Lines Foreign Objects Detection Using MSYOLO
Anti-Lost Smart Buttons and Supervision Platform for the Elderly and Children Using Electronic Fences
Partial Feedback Control for Knowledge Distillation
Semi-supervised Balanced Distribution Adaptation Model for Intrusion Detection
Adaptive Control of Starting Point Based on System Data Degradation SCR
An Image-to-image Target Reconstruction Network for Capacitively Coupled Electrical Resistance Tomography Based on Transfer Learning
Study on Multi-Pedestrian Trajectory Tracking based on improved YOLOv5+DeepSort
Proceedings of the 2023 International Conference on Computer, Vision and Intelligent Technology, ICCVIT 2023, Chenzhou, China, August 25-28, 2023
Cloud resource scheduling strategy based on improved particle swarm optimization algorithm for smart city system
A Conflicting Evidence Fusion Method Based on Game Theory Combination Weighting
Hybrid Tensor Networks: The Integration of Quantum and Classical Machine Learning
The Topologies Exploration on the Knowledge Graph of Alarm Correlation by a Community-based Link Prediction Model
Energy-Efficient Job Shop Scheduling Solutions: A MILP Approach
Remote Sensing Target Detection Based on Improved YoloX
Multi-food source differential salp swarm algorithm
A novel clustering method for ship trajectory prediction
An Improved Monocular Visual Navigation Algorithm for Quadrotor in Indoor Environments
A Binocular Vision Stereo Matching Algorithm for Depth Map Estimation
Reliability and Availability Analysis of Aircraft Landing Gear System Considering Common Cause Failure
HQFace: Towards Real-World Blind Face Restoration with Hierarchical Vector Quantization
Semantic SLAM with Geometric Constraints for Object Tracking in Dynamic Environments
Deep Learning-based Facial Expression Recognition for Fatigue Driving
Design and Implementation of Home Medicine Box AI System
Fuzzy Identity-Based Encryption Scheme Based on RLWE
Intelligent Composition Based on Fibonacci Sequence and Hidden Markov Model
Abnormal monitoring Method of Radar Operation and Maintenance Information Based On Risk Extraction
MRPVT: A novel Multiscale Rain-cutting and Pooling Vision Transformer model for Object Detection on Drone-captured Scenarios
Space Crowdsourcing Allocation Scheme Based On Improved Fishing Optimization Algorithm
Design and Analysis of Efficient On-Star Compression Algorithms for FPGA Platforms
Improved 3D Multiscale V-Net Network-based Segmentation of Lung Nodules
CPA-UNet: nnUNet-Based Local Pyramid Aggregation Network
SVM in Classification of stage 0~II and III~IV with Breast Cancer : A Retrospective Cohort Study on a bicentric cohort
An Improved Lightweight CNN_BiLSTM Model for Network Intrusion Detection Using the UNSW-NB15 Dataset
Decision Tree Algorithm and Deep Learning Technology Based Motion Decision Algorithm for Autonomous Robots
A Hybrid Self-supervised Learning Framework For Hyperspectral Image Classification
Research on Technology of Extracting Feature Point of Image Based on Gabor Function
Research on Text Emotion Analysis Based on LSTM
A Novel Design Method of Light-weight Minisocpe without Object Lenses for Calcium Imaging
Multi-Source Face Relighting: Pre-fusion and Post-fusion Approaches for Improved Lighting Consistency and Detail Preservation
LLE-Net: A Deep Network with Overexposure Fusion for Low-Light Enhancement
Improving Table Tennis Training and Technique Analysis: Accurate Classification of Actions with Informer Encoder
Research on Intelligent Maintenance Technology for Industrial Internet Equipment
Semantic Segmentation Method for Drivable Areas under Unstructured Road
Research On YOLOv8 UAV Ground Target Detection Based On RK3588
Clustering of Drug Side Effects Based on Multi-Omics Data
A review of cross-modal 3D point cloud semantic segmentation methods based on deep learning
Research on Interpretable Fake News Detection Technology Based on Co-Attention Mechanism
Research on Dry Beach Extraction and Safety Parameter Calculation of Tailing Pond based on UAV Point Cloud
Pixel Image Segmentation of Cerebral Hematoma Based on U-Net and Clustering
High-Precision Terrain Modeling of Tailing Ponds Using UAV LiDAR Point Cloud Data
Potato Disease Detection Algorithm Based on Improved YOLOv8
ES-ShuffleNetV2 Model for Maize Disease Recognition
Leveraging AI for Superior Corrosion Resistance in Industrial Application
The Trustworthiness Measurement Model of Component based on Spherical Fuzzy Sets
Facial Expression Recognition Based on Improved VGG-face Model and Transfer Learning
Research on River Floating Objects Detection Method Based on Deep Learning
PF-UNet: A Short-term Precipitation Correction Model Integrating Multiple Meteorological Elements
Research On Lightweight Human Fall Detection Method
Three-Dimensional Object Segmentation Method based on YOLO, SAM, and NeRF
A Hierarchical Fault Diagnosis Method For Marine Engine Using Isolation Forest and Extreme Learning Machine with PADBSCAN
Research on Gastritis Endoscopic Images Classification Based on SE-RepLKNet
Research on Target Localization of Automatic Picking Robot for Rock Sugar Orange
Research on Adaptive Dehazing Algorithm Based on Image Illuminance
A Comparative Study of YOLOv8, YOLOv9, and YOLOv10 in Tile Defect Detection
DynamicKV: Data Storage Strategy Based on Partition Merging of Log-Structured Merge Tree
Image Recognition Method Based on the Fusion of Multimodal Large Models
Improving Panoptic Segmentation in Occlusion with a Local-aware Decoder
Audio detection based on segmented spectrograms
An Attribute-Based Signature Scheme with Flexible Access Control on Lattice
Multi-Kinect Spinal Motion Measurement Method Based on Markings
Fine-Grained Passive Operating System Identification Based on Network Traffic Sequences
Application of Transmission Line Scene Model Construction Method in Electric Power System
Source signal recovery method based on population entropy quantum Remora fish optimization algorithm
A Reference Model for Information Security Applications of Generative Adversarial Network Variants
Research on Pump Condition Prediction Based on Ensemble Learning Strategies
Research on Mask Detection Method Based on Yolov8
DA-UNet: Deformable Attention U-Net for Nucleus Segmentation
An Empirical Study on Genetic Algorithm for 2D Path Planning of Unmanned Aerial Vehicles with Obstacle Avoidance
Research on xss Detection based on ALSTM Model and Traditional Feature Engineering
Fitting Two Point Sets with Soft Dissimilarity
Medical CT Image Super-resolution Algorithm based on GAN
A color image channel fusion encryption scheme combining a four-dimensional chaotic system
Life Control Based on Limited Incremental learning and WE-OSELM
Enhancing Multimodal Named Entity Recognition via Entity Span Detection and Graph Networks
Re-Raft: An Improved Blockchain Consensus Algorithm with Enhanced Byzantine Resistance and Crash Tolerance
Intelligent Decision Making Algorithm Based On Hybrid Cuckoo Algorithm and Deep Learning
A Novel Non-Line-of-Sight Imaging Enhancement Method of Time-of-Flight Camera
An Improved YOLOv8 Algorithm for Icon Detection in Vehicle Dashboard
Infrared moving small multi-targets trajectory detection based on point cloud instance segmentation
An Object Detection Algorithm Based on Multiple Attention Mechanisms
YOLO-CDP: An Improved Algorithm for Bearing Surface Defect Detection
Script Event Prediction Based on Large Model Reflection Mechanism
Points and Patches in Textures by Exploring in Monocular Depth Estimation
MsCAFE-Net: Muti-Scale Contextnal Attention Feature Enhance Network For Skin Lesion Segmentation
Research On Radar-Based Detection Equipment For Urban Underground Cables And Supporting Facilities
Termination of Algebraic Type Systems: The Syntactic Approach
A CLP View of Logic Programming
An Equivalence Preserving First Order Unfold/fold Transformation System
Discrete Normalization and Standardization in Deterministic Residual Structures
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization
Preserving Universal Termination through Unfold/Fold
Implementations of Completion by Transition Rules + Control: ORME
BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing
A Completion Procedure for Hierarchical Conditional Rewriting Systems
Logic Programs as term Rewriting Systems
Three-Valued Completion for Abductive Logic Programs
A General Scheme for Constraint Functional Logic Programming
AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering
Axiomatizing Permutation Equivalence in the Lambda-Calculus
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs
A Language for the Logical Specification of Processes and Relations
Oracle Semantics for Prolog
Narrowing in Partial Conditional Equational Theories (Abstract)
Optimal Left-to-Right Pattern-Matching Automata
Specifying Type Systems
Concurrent Logic Programming as Uniform Linear Proofs
Non-linear Real Constraints in Constraint Logic Programming
Solving Equations in an Equational Language
Outline of an Object-Oriented Calculus of Higher Type (Abstract)
Order-Sorted Termination: The Unsorted Way
Needed Reductions with Context-Sensitive Rewriting
Safe Folding/Unfolding with Conditional Narrowing
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types
On the strong completion of logic programs
Parameterised Higher-Order Algebraic Specifications
Reasoning about Layered, Wildcard and Product Patterns
Nonstandard Logics of Recursive Programs and Denotational Semantics
On Composable Properties of Term Rewriting Systems
Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings
Complementing Logic Program Semantics
Compositional Analysis for Equational Horn Programs
Lazy Narrowing in a Graph Machine
Functional Data Term Models and Semantic Unification
On n -Syntactic Equational Theories
On the Relation Between Primitive Recursion, Schematization and Divergence
Boolean Valued Models and Incomplete Specifications
Axiomatization of a Functional Logic Language
Proof Net Semantics of Proof Search Computation
Eliminating Negation from Normal Logic Programs
The Finiteness of Logic Programming Derivations
Conditional Term Graph Rewriting
Definitional Trees
Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems
Equation Solving in Conditional AC-Theories
Integrating Logic Programming and Equational Specification of Abstract Data Types
Fixpoint Techniques for Non-Monotone Maps
Proving Inductive Theorems Based on Term Rewriting Systems
Counterexamples to Completeness Results for Basic Narrowing (Extended Abstract)
On Negation As Instantiation
Unique Normal Form Property of Higher-Order Rewriting Systems
A Process Algebra for Synchronous Concurrent Constraint Programming
Proof by Consistency in Constructive Systems with Final Algebra Semantics
A Matching Process Modulo a Theory of Categorical Products
Logic Programming with Polymorphically Order-Sorted Types
Proving Behavioural Theorems with Standard First-Order Logic
Logic Programs with Equational Type Specifications (Extended Abstract)
On Logic Programming Interpretations of Dislog: Programming Long-Distance Dependencies in Logic
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings
Recursive Query Processing in Predicate-Goal Graph
A Strict Border for the Decidability of E-Unification for Recursive Functions
Unravelings and Ultra-properties
Partial Deduction of Logic Programs wrt Well-Founded Semantics
Termination of Order-sorted Rewriting
Functional Extensions to Prolog: Are they Needed?
A Goal Oriented Strategy Based on Completion
Model Generation with Existentially Quantified Variables and Constraints
Prime Factorizations of Abstract Domains Using First Order Logic
Explicit Substitutions for the Lambda-Calculus
Serialisation Analysis of Concurrent Logic Programs
Translating Algebraic Specifications to Prolog Programs: A Comparative Study
Domain Theory for Nonmonotonic Functions
Narrowing with Built-In Theories
A Theory of First-Order Built-in's of Prolog
Standardization Theorem Revisited
ACP with Signals
Types, Modularisation and Abstraction in Logic Programming
A Logic for Variable Aliasing in Logic Programs
An Effective Method for Handling Initial Algebras
Rewrite Rule Systems for Modal Propositional Logic
Parallelizing Functional Programs by Generalization
Refined Compilation of Pattern-Matching for Functional Languages
Higher-Order Minimal Functional Graphs
Specifications Using Multiple-Conclusion Logic Programs
Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths
Jungle Evaluation for Efficient Term Rewriting
Hybrid Implementations of Algebraic Specifications
Viewing A program Transformation System At Work
A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting Systems by Tree Automata
A Hierarchy of Semantics for Normal Constraint Logic Programs
Perpetuality and Uniform Normalization
Fourier Algorithm Revisited
Uniform Narrowing Strategies
Modular Algebraic Specifications
Proving Implications by Algebraic Approximation
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns
A New Quasi-Reducibility Testing Algorithm and its Application to Proofs by Induction
Meaningless Terms in Rewriting
A Sequential Reduction Strategy
A Fast Algorithm for Ground Normal Form Analysis
Proving and Rewriting
Generalized Sufficient Conditions for Modular Termination of Rewriting
An Algebraic Approach to Mixins and Modularity
Optimal Non-deterministic Functional Logic Computations
Fuzzy Reasoning Based on F-Horn Clause Rules
Toward the Concurrent Implementation of Computational Systems
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints
Multi-Modal Logic Programming using Equational and Order-Sorted Logic
Lazy Narrowing with Parametric Order Sorted Types
Syntactical Analysis of Total Termination
Term Rewriting with Sharing and Memoïzation
Incremental Rewriting in Narrowing Derivations
Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997, Proceedings
Abstractions of Uniform Proofs
A Left-Linear Variant of Lambda-Sigma
Narrowing and Resolution in Logic-Functional programming Languages (Abstract)
Independence in Dynamically Scheduled Logic Languages
Optimization of Rewriting and Complexity of Rewriting
How to Realize LSE Narrowing
Algebraic and Logic Programming, International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings
Proving Correctness wrt Specifications with Hidden Parts
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language
High-Level-Replacement Systems for Equational Algebraic Specifications
Applying Term Rewriting Methods to Finite Groups
The Semantic Treatment of Polymorphic Specification Languages
Multiparadigm Logic Programming
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization
Higher-Order Order-Sorted Algebras
Termination of Rewrite Systems by Elementary Interpretations
Sufficient Completeness and Parameterized Proofs by Induction
An Abstract Concurrent Machine for Rewriting
Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings
Eta-conversion for the Languages of Explicit Substitutions
Heterogeneous Constraint Solving
On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems
Theorem Proving for Hierarchic First-Order Theories
Equation Solving in Projective Planes and Planar Ternary Rings
Propositional Calculus Problems in CHIP
Higher-Order Equational Unification via Explicit Substitutions
Hierarchical Learning for DNN-Based Acoustic Scene Classification
Low-Complexity Acoustic Scene Classification in DCASE 2022 Challenge
Transfer Learning followed by Transformer for Automated Audio Captioning
EDANSA-2019: The Ecoacoustic Dataset from Arctic North Slope Alaska
Evaluation Metric of Sound Event Detection Considering Severe Misdetection by Scenes
Deep Sequential Image Features on Acoustic Scene Classification
Audio Event Detection Using Multiple-Input Convolutional Neural Network
Convolutional Neural Networks with Binaural Representations and Background Subtraction for Acoustic Scene Classification
Squeeze-Excitation Convolutional Recurrent Neural Networks for Audio-Visual Scene Classification
Many-to-Many Audio Spectrogram Tansformer: Transformer for Sound Event Localization and Detection
Shuffling and Mixing Data Augmentation for Environmental Sound Classification
Sound Source Localisation in Ambisonic Audio Using Peak Clustering
Exploiting Parallel Audio Recordings to Enforce Device Invariance in CNN-based Acoustic Scene Classification
TrellisNet-Based Architecture for Sound Event Localization and Detection with Reassembly Learning
On the Effect of Coding Artifacts on Acoustic Scene Classification
Applying triplet loss to siamese-style networks for audio similarity ranking
OtoMechanic: Auditory Automobile Diagnostics via Query-by-Example
DNN based multi-level feature ensemble for acoustic scene classification
A Mixed Supervised Learning Framework For Target Sound Detection
DCASE 2018 Challenge Surrey cross-task convolutional neural network baseline
STARSS22: A Dataset of Spatial Recordings of Real Scenes with Spatiotemporal Annotations of Sound Events
DCASE-Models: A Python Library for Computational Environmental Sound Analysis using Deep-Learning Models
Event-Independent Network for Polyphonic Sound Event Localization and Detection
Acoustic Scene Classification Based on a Large-margin Factorized CNN
Proceedings of the 7th Workshop on Detection and Classification of Acoustic Scenes and Events 2022, DCASE 2022, Nancy, France, November 3-4, 2022
Improved Student Model Training for Acoustic Event Detection Models
Proceedings of the 6th Workshop on Detection and Classification of Acoustic Scenes and Events 2021 (DCASE 2021), Online, November 15-19, 2021
Weakly Labeled Sound Event Detection using Tri-training and Adversarial Learning
Guided Multi-Branch Learning Systems for Sound Event Detection with Sound Separation
Sound Event Localization and Detection with Pre-Trained Audio Spectrogram Transformer and Multichannel Seperation Network
Towards perceptual soundscape characterization using event detection algorithms
Open-set Evolving Acoustic Scene Classification System
DCASE 2016 Acoustic Scene Classification Using Convolutional Neural Networks
Bag-of-Features Acoustic Event Detection for Sensor Networks
A Multi-room Reverberant Dataset for Sound Event Localization and Detection
Sequence to Sequence Autoencoders for Unsupervised Representation Learning from Audio
RWCP-SSD-Onomatopoeia: Onomatopoeic Word Dataset for Environmental Sound Synthesis
DCASE 2019 Task 2: Multitask Learning, Semi-supervised Learning and Model Ensemble with Noisy Data for Audio Tagging
Multi-Scale Network based on Split Attention for Semi-supervised Sound event detection
Multi-Temporal Resolution Convolutional Neural Networks for Acoustic Scene Classification
Confidence Regularized Entropy for Polyphonic Sound Event Detection
Few-Shot Bioacoustic Event Detection: Enhanced Classifiers for Prototypical Networks
Acoustic Scene Classification Based on Convolutional Neural Network Using Double Image Features
Is my Automatic Audio Captioning System so Bad? SPIDEr-max: A Metric to Consider Several Caption Candidates
SONYC-UST-V2: An Urban Sound Tagging Dataset with Spatiotemporal Context
Improving Natural-Language-Based Audio Retrieval with Transfer Learning and Audio & Text Augmentations
Unsupervised adversarial domain adaptation for acoustic scene classification
Automated Audio Captioning with Weakly Supervised Pre-Training and Word Selection Methods