yusuke1997/dblp-id-title huggingface dataset:
Vertical Handover of Satellite-Ground Fusion Network Based on Time and Location Under Early Access Strategy
DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Inferring Travel Purposes for Transit Smart Card Data Using
Big Data Analysis of TV Dramas Based on Machine Learning
Aggregating Heterogeneous Services in the Smart City: The Practice in China
I2P Anonymous Communication Network Measurement and Analysis
Efficient Computation for the Longest Common Subsequence with Substring Inclusion and Subsequence Exclusion Constraints
Equipment Health Assessment Based on Node Embedding
Ensemble Learning for Crowd Flows Prediction on Campus
Based on the MapX Automatic Contour Drawing Method and Accuracy Analysis
Implementation Maximum Overall Coverage Constraint Non-negative Matrix Factorization for Hyperspectral Mixed Pixels Analysis Using MapReduce
A Dynamic Taint Analysis-Based Smart Contract Testing Approach
A Secure Homomorphic Encryption Algorithm over Integers for Data Privacy Protection in Clouds
Link-Efficiency Multi-channel Transmission Protocol for Data Collection in UASNs
A Virtual Communication Strategy for Smart Photovoltaic Generation Systems
An Effective Seafile Dockerfile for Raspberry Pi to Make Docker YAML Files for Treehouses
An Investigation of Blockchain-Based Sharding
Coattention-Based Recurrent Neural Networks for Sentiment Analysis of Chinese Texts
Research on Graph Structure Data Adversarial Examples Based on Graph Theory Metrics
PSPChord - A Novel Fault Tolerance Approach for P2P Overlay Network
Seamless Group Pre-handover Authentication Scheme for 5G High-Speed Rail Network
Trust Evaluation Method Based on the Degree of Code Obfuscation
QoS-Driven Frequency Scaling for Energy Efficiency and Reliability of Static Web Servers in Software-Defined Data Centers
Research on Blockchain-Based Smart Contract Technology
An Optimized MBE Algorithm on Sparse Bipartite Graphs
Approach for Semi-automatic Construction of Anti-infective Drug Ontology Based on Entity Linking
A Feature Extraction Algorithm Based on Blockchain Storage that Combines ORB Feature Points and Quadtree Division
Indistinguishable Obfuscated Encryption and Decryption Based on Transformer Model
Blockchain Applications in Smart City: A Survey
Architecture Search for Deep Neural Network
Travel Review Analysis System with Big Data (TRAS)
An SG-CIM Model Table Classification Method Based on Multi Feature Semantic Recognition Technology
A Genetic-Ant-Colony Hybrid Algorithm for Task Scheduling in Cloud System
Financial News Quantization and Stock Market Forecast Research Based on CNN and LSTM
Vulnerability Assessment for PMU Communication Networks
Fault Location Technique of Distribution Power Network Based on Traveling Wave Measurement
Mining Association Rules from a Dynamic Probabilistic Numerical Dataset Using Estimated-Frequent Uncertain-Itemsets
A New Blockchain Design Decoupling Consensus Mechanisms from Transaction Management
Multi-sensor System Calibration Approach Based on Forward-Model and Inverse-Model
DPSD: Dynamic Private Spatial Decomposition Based on Spatial and Temporal Correlations
Research on Optimizing Last Level Cache Performance for Hybrid Main Memory
Research on Sharding Strategy of Blockchain Based on TOPSIS
Energy Saving Method for On-Chip Data Bus Based on Bit Switching Activity Perception with Multi-encoding
Making Cloud Storage Integrity Checking Protocols Economically Smarter
Secure File Outsourcing Method Based on Consortium Blockchain
Scheduling Algorithm for Low Energy Consumable Parallel Task Application Based on DVFS
IoT Framework for Interworking and Autonomous Interaction Between Heterogeneous IoT Platforms
Analysis and Discussion on Standard Cost Allocation Model in State Grid
Smart Computing and Communication - 5th International Conference, SmartCom 2020, Paris, France, December 29-31, 2020, Proceedings
Augmenting Embedding with Domain Knowledge for Oral Disease Diagnosis Prediction
Smart Computing and Communication - First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings
A Privacy-Preserving Auditable Approach Using Threshold Tag-Based Encryption in Consortium Blockchain
Confidentially Computing DNA Matching Against Malicious Adversaries
Computational Challenges and Opportunities in Financial Services
Design and Analysis of Two Efficient Socialist Millionaires' Protocols for Privacy Protection
Adaptive Byzantine Fault-Tolerant ConsensusProtocol
Smart Computing and Communication - Third International Conference, SmartCom 2018, Tokyo, Japan, December 10-12, 2018, Proceedings
Hybrid One-Class Collaborative Filtering for Job Recommendation
Efficient Algorithm for Traffic Engineering in Multi-domain Networks
Abnormal Flow Detection Technology in GPU Network Based on Statistical Classification Method
The Function of GIS in the Smart City Construction
Imputation for Missing Items in a Stream Data Based on Gamma Distribution
Studying Weariness Prediction Using SMOTE and Random Forests
A Survey of Machine Learning and Deep Learning Based DGA Detection Techniques
Rhythm Authentication Using Multi-touch Technology: A New Method of Biometric Authentication
Research on Template-Based Factual Automatic Question Answering Technology
Sphere Decoding Algorithm Based on a New Radius Definition
Empirical Study of Data Allocation in Heterogeneous Memory
Component Extraction for Deep Learning Through Progressive Method
Blockchains with Five Merkle Trees to Support Financial Transactions
An Elephant Flow Detection Method Based on Machine Learning
An Auxiliary Classifier GAN-Based DDoS Defense Solution in Blockchain-Based Software Defined Industrial Network
Load Pattern Shape Clustering Analysis for Manufacturing
k-CoFi: Modeling k-Granularity Preference Context in Collaborative Filtering
Thunderstorm Recognition Based on Neural Network PRDsNET Models
Vision-Based Autonomous Driving for Smart City: A Case for End-to-End Learning Utilizing Temporal Information
A Multi-attribute Decision Handover Strategy for Giant LEO Mobile Satellite Networks
An Efficient Detection Model for Smart Contract Reentrancy Vulnerabilities
Resolving the Loop in High-Level SDN Program for Multi-table Pipeline Compilation
Parallel Pileup Correction for Nuclear Spectrometric Data on Many-Core Accelerators
Attention-Aware Path-Based Relation Extraction for Medical Knowledge Graph
SmartDetect: A Smart Detection Scheme for Malicious Web Shell Codes via Ensemble Learning
Design of Heterogeneous Evaluation Method for Redundant Circuits
Review on Application of Artificial Intelligence in Photovoltaic Output Prediction
Opportunistic Content Offloading for Mobile Edge Computing
Smart Computing and Communication - 4th International Conference, SmartCom 2019, Birmingham, UK, October 11-13, 2019, Proceedings
A Two-Way Identity Authentication Scheme Based on Dynamic Password
Artificial Intelligence Platform for Heterogeneous Computing
A Hop-Parity-Involved Task Schedule for Lightweight Racetrack-Buffer in Energy-Efficient NoCs
Sci-Base: A Resource Aggregation and Sharing Ecology for Software on Discovery Science
Context-User Dependent Model for Cascade Retweeter Prediction
Towards Smart Building: Exploring of Indoor Microclimate Comfort Level Thermal Processes
Quality of Service (QoS) in Lan-To-Lan Environments Through Modification of Packages
Energy-Efficient Optimization Design for UAV-Assisted Wireless Powered MEC Systems
Birds Classification Based on Deep Transfer Learning
Research on Action Recognition Based on Zero-shot Learning
Predicted Mobile Data Offloading for Mobile Edge Computing Systems
A Brief Survey on Cyber Security Attack Entrances and Protection Strategies of Intelligent Connected Vehicle
Big Data Management the Mass Weather Logs
A Virtual Network Embedding Algorithm Based on Hybrid Particle Swarm Optimization
A Smart Roll Wear Check Scheme for Ensuring the Rolling Quality of Steel Plates
Automated Classification of Attacker Privileges Based on Deep Neural Network
AUDITOR: A Stage-Wise Soft-Error Detection Scheme for Flip-flop Based Pipelines
Autonomous Vehicle Communication in V2X Network with LoRa Protocol
A Novel Image Recognition Method Based on CNN Algorithm
Application of a Parallel FSM Parsing Algorithm for Web Engines
Information-Centric Fog Computing for Disaster Relief
Design of a Hardware Accelerator for Zero-Knowledge Proof in Blockchains
Plot Digitizing over Big Data Using Beam Search
A Novel PSO Based Task Scheduling Algorithm for Multi-core Systems
An Implementation of Content-Based Pub/Sub System via Stream Computation
Multi-agent Computation Offloading in UAV Assisted MEC via Deep Reinforcement Learning
Meter Location System Base on Jetson NX
An Evolutionary Approach for Short-Term Traffic Flow Forecasting Service in Intelligent Transportation System
An Information-Centric Architecture for Server Clustering Towards 3D Data-Intensive Applications
AI Enhanced Automatic Response System for Resisting Network Threats
Joint Sparse Locality Preserving Projections
Human Activity Recognition Based on Smart Phone's 3-Axis Acceleration Sensor
A Novel Deception Defense-Based Honeypot System for Power Grid Network
Bank Card and ID Card Number Recognition in Android Financial APP
RBD: A Reference Railway Big Data System Model
A Hybrid Algorithm Based on Particle Swarm Optimization and Ant Colony Optimization Algorithm
The Knowledge Map Analysis of User Profile Research Based on CiteSpace
Trust-Aware Resource Provisioning for Meteorological Workflow in Cloud
The Development and Trend of Vehicle Functional Safety
A Quantitative Approach for Memory Fragmentation in Mobile Systems
A Detection Method for I-CIFA Attack in NDN Network
A Hardware Trojan Detection Method Design Based on TensorFlow
Static Analysis of Android Apps Interaction with Automotive CAN
A Survey of Recommender Systems Based on Hypergraph Neural Networks
Proposal of Parallel Processing Area Extraction and Data Transfer Number Reduction for Automatic GPU Offloading of IoT Applications
Deep Reinforcement Learning Based on Spatial-Temporal Context for IoT Video Sensors Object Tracking
Security Message Broadcast Mechanism Research in Vehicular Network
Visual Analytics for Basketball Star Card Market - Under the Background of the NBA Restart
Image Segmentation Algorithm Based on Spatial Pyramid and Visual Salience
Based on Cloud Computing and GIS in the Smart Yellow River Emergency System Design and Its Key Technology Research
A New Architecture of Smart House Control System
OPN-DTSP: Optimized Pointer Networks for Approximate Solution of Dynamic Traveling Salesman Problem
A Novel Estimation Method for the State of Charge of Lithium-Ion Battery Using Temporal Convolutional Network Under Multiple Working Conditions
Collective Behavior Aware Collaborative Caching for Mobile Edge Computing
Senior2Local: A Machine Learning Based Intrusion Detection Method for VANETs
Research on Parallel Architecture of OpenCL-Based FPGA
An Improved Assessment Method for the Network Security Risk
Smart-Contract Vulnerability Detection Method Based on Deep Learning
A Cross-Plane Cooperative DDoS Detection and Defense Mechanism in Software-Defined Networking
Defects Detection System of Medical Gloves Based on Deep Learning
A Multi-level Corporate Wallet with Governance
Depth Prediction from Monocular Images with CGAN
A Monte Carlo Based Computation Offloading Algorithm for Feeding Robot IoT System
Privacy-Preserving Computing Framework for Encrypted Data Under Multiple Keys
Anomaly Detection for Power Grid Based on Network Flow
A Critical-Path-Based Vulnerability Detection Method for tx.origin Dependency of Smart Contract
An Improved Ciphertext-Policy Attribute-Based Encryption Scheme
Cognitive Hierarchy Based Coexistence and Resource Allocation for URLLC and eMBB
Energy-Efficient Federated Learning in IoT Networks
Towards a Novel Protocol Analysis Framework for Industrial Control Systems
Track Obstacle Real-Time Detection of Underground Electric Locomotive Based on Improved YOLOX
Smart Computing and Communication - Second International Conference, SmartCom 2017, Shenzhen, China, December 10-12, 2017, Proceedings
E^3 : Efficient Error Estimation for Fingerprint-Based Indoor Localization System
PSVA: A Content-Based Publish/Subscribe Video Advertising Framework
LowFreqAttack: An Frequency Attack Method in Time Series Prediction
ABODE-Net: An Attention-based Deep Learning Model for Non-intrusive Building Occupancy Detection Using Smart Meter Data
Research on Arm Motion Capture of Virtual Reality Based on Kinematics
Research on Security Methods of Wireless Sensor Networks Based on Internet of Things Technology
NnD: Shallow Neural Network Based Collision Decoding in IoT Communications
Study on the Organization and Governance of Bigdata for Lifelong Education
Verifiable, Fair and Privacy-Preserving Outsourced Computation Based on Blockchain and PUF
Blockchain Technology in Automobile Insurance Claim Systems Research
Using Virtualization for Blockchain Testing
MSA vs. MVC: Future Trends for Big Data Processing Platforms
Research on Dynamic Safe Loading Techniques in Android Application Protection System
Machine Learning for Cancer Subtype Prediction with FSA Method
Research on Security Consensus Algorithm Based on Blockchain
Security and Privacy Issues: A Survey on FinTech
A Decision-Making Method for Blockchain Platforms Using Axiomatic Design
Hierarchical Graph Neural Networks for Personalized Recommendations with User-Session Context
Information Centric Networking Media Streaming Experiment Platform Design
AreaTransfer: A Cross-City Crowd Flow Prediction Framework Based on Transfer Learning
Travel-Time Prediction Methods: A Review
Correlation Coefficient Based Cluster Data Preprocessing and LSTM Prediction Model for Time Series Data in Large Aircraft Test Flights
A High-Performance Storage System Based with Dual RAID Engine
Constructing Ontology-Based Cancer Treatment Decision Support System with Case-Based Reasoning
Reliable and Efficient Deployment for Virtual Network Functions
OpenVenus: An Open Service Interface for HPC Environment Based on SLURM
Enhanced 4A Identity Authentication Center Based on Super SIM Technology
Attribute-Based and Keywords Vector Searchable Public Key Encryption
A Novel Client Sampling Scheme for Unbalanced Data Distribution Under Federated Learning
Joint Accuracy and Resource Allocation for Green Federated Learning Networks
Cryptography of Blockchain
Smart Custom Package Decision for Mobile Internet Services
Sentiment Classification of Reviews on Automobile Websites by Combining Word2Vec and Dependency Parsing
Do Top Social Apps Effect Voice Call? Evidence from Propensity Score Matching Methods
Unikernel and Advanced Container Support in the Socker Tool
An Efficient Adaptive-ID Secure Revocable Hierarchical Identity-Based Encryption Scheme
Unsupervised Pre-training Classifier Based on Restricted Boltzmann Machine with Imbalanced Data
Block-gram: Mining Knowledgeable Features for Smart Contract Vulnerability Detection
Subordinate Relationship Discovery Method Based on Directed Link Prediction
Research on Cross-Domain Heterogeneous Information Interaction System in Complex Environment Based on Blockchain Technology
VR3DMaker: A 3D Modeling System Based on Vive
Bug Analysis of Android Applications Based on JPF
Learning Quality Evaluation of MOOC Based on Big Data Analysis
Research on Data Fault-Tolerance Method Based on Disk Bad Track Isolation
A Hybrid Music Recommendation System Based on Scene-State Perception Model
An Improved Prediction Model for the Network Security Situation
An Buffering Optimization Algorithm for Cooperative Mobile Service
Research on Data Forwarding Algorithm Based on Link Quality in Vehicular Ad Hoc Networks
Multi-attribute Authentication Method Based on Continuous Trust Evaluation
High-Performance and Customizable Vector Retrieval Service Based on Faiss in Power Grid Scenarios
Secure Shell Remote Access for Virtualized Computing Environment
A Shamir Threshold Model Based Recoverable IP Watermarking Scheme
SOA Reference Architecture: Standards and Analysis
Intelligent Textbooks Based on Image Recognition Technology
Research on Multi-channel Pulse Amplitude Analyzer Based on FPGA
A K-Anonymous Full Domain Generalization Algorithm Based on Heap Sort
Hierarchically Channel-Wise Attention Model for Clean and Polluted Water Images Classification
Container Memory Live Migration in Wide Area Network
Chinese Fine-Grained Sentiment Classification Based on Pre-trained Language Model and Attention Mechanism
Heuristic Algorithm for Flexible Optical Networks OTN
Analysis and Prediction of Commercial Big Data Based on WIFI Probe
SDN Protocol Analysis with Process Algebra Method
ML-ECN: Multilayer Emergency Communication Network Based on the Combination of Space and Earth
Automatic Smart Contract Generation with Knowledge Extraction and Unified Modeling Language
Using Convolutional Neural Network to Redress Outliers in Clustering Based Side-Channel Analysis on Cryptosystem
Music Rhythm Customized Mobile Application Based on Information Extraction
Bayesian Causal Mediation Analysis with Longitudinal Data
Research on Power Border Firewall Policy Import and Optimization Tool
Chinese Clinical Named Entity Recognition Based on Stroke-Level and Radical-Level Features
An Optimized Scheme of Mel Frequency Cepstral Coefficient for Multi-sensor Sign Language Recognition
Bi-Intuitionistic Logics: A New Instance of an Old Problem
Normal Products of Modal Logics
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I)
Paraconsistent Justification Logic: a Starting Point
Beliefs and Evidence in Justification Models
Non-Normal Modal Logics: Bi-Neighbourhood Semantics and Its Labelled Calculi
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents
An analytic proof system for common knowledge logic over S5
Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010
Varieties of Distributed Knowledge
Epistemic Logic of Shallow Depths and Game Theoretical Applications
Inquisitive Intuitionistic Logic
Calibrating Provability Logic: From Modal Logic to Reflection Calculus
Logics for Data Exchange and Communication
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004
Algebraic Semantics for One-Variable Lattice-Valued Logics
A First-order Modal Logic of Strict Implication on Varying-Domain Models
On parametric phenomena in correspondence theory
A Lindström characterisation of the guarded fragment and of modal logic with a global modality
Pointwise Intersection in Neighbourhood Modal Logic
A Uniform Logic of Information Dynamics
Recent Advances in Proof Systems for Modal Logic
Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators
On the Formal Structure of Continuous Action
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic
Bisimulation Quantified Modal Logics: Decidability
Quantified Reflection Calculus with One Modality
Absolute Completeness of S4 u for Its Measure-Theoretic Semantics
Bisimulational Categoricity
Efficient Theorem-Proving for Modal Logics
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality
Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic
On Modal Logics of Linear Inequalities
Labelled modal tableaux
Binary Logics, Orthologics, and their Relations to Normal Modal Logics
A Monadic Logic of Ordered Abelian Groups
A Syntactic Realization Theorem for Justification Logics
Towards a Many-Dimensional Modal Logic for Semantic Processing
Post Completeness in Congruential Modal Logics
About intuitionistic public announcement logic
Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024
Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
A Composable Language for Action Models
Topological Completeness of First-Order Modal Logics
Local tabularity without transitivity
Another Problem in Possible World Semantics
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022
Fully Arbitrary Public Announcements
Normal Modal Logics Containing KTB with some Finiteness Conditions
Canonical Filtrations and Local Tabularity
A decidable modal logic that is finitely undecidable
Algebraic semantics of refinement modal logic
A Duality for Distributive Unimodal Logic
The Tangled Derivative Logic of the Real Line and Zero-Dimensional Space
Robinson consistency in many-sorted hybrid first-order logics
Deep Sequent Systems for Modal Logic
Cyclic Proof Systems for Modal Logics
An Intuitionistic Axiomatization of 'Eventually'
Guarded Negation
Normal Extensions of KTB of Codimension 3
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames
What Are Hybrid Languages?
Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class
On Strictly Positive Modal Logics with S4.3 Frames
Duality in Superintuitionistic and Modal Predicate Logics
On Isomorphisms between Canonical Frames
The Complexity of Reasoning about Classifiers
Dynamic Description Logics
Modal logic of time division
The Effects of Modalities in Separation Logics (Extended Abstract)
Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic
Uniform Interpolation for Monotone Modal Logic
From Bisimulation Quantifiers to Classifying Toposes
Decidability of IF Modal Logic of Perfect Recall
Algorithmic correspondence and analytic rules
A General Semantics for Quantified Modal Logic
PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization
The Tree of Knowledge in Action: Towards a Common Perspective
Intermediate Logics: From Hypersequents to Concurrent Computation
The Goldblatt-Thomason Theorem for Derivative Spaces
Modality, Paraconsistency and Paracompleteness
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic
Modal Logic in Two Gestalts
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects
Uniform Lyndon interpolation for intuitionistic monotone modal logic
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4
Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete
Complexity of Strict Implication
Truth-Preserving Operations on Sums of Kripke Frames
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity
Explanations in logic
Non-Iterative Modal Logics Are Coalgebraic
The Origins of Modern Modal Logic
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle
Temporal Interpretation of Intuitionistic Quantifiers
Developing Modal Tableaux and Resolution Methods via First-Order Resolution
Minimal Knowledge States in Nonmonotonic Modal Logics
Terminological Modal Logic
The Truth About Algorithmic Problems in Correspondence Theory
On the Relationship between Models of Parallel Computations
Uniform Interpolation, Automata and the Modal μ-Calculus
A canonical model construction for intuitionistic distributed knowledge
Combining Dynamic Logic with Doxastic Modal Logics
EXPTIME-hardness of higher-dimensional Minkowski spacetime
Wijesekera-style constructive modal logics
*-Continuity vs. Induction: Divide and Conquer
Synthesis for Temporal Logic over the Reals
Goldblatt-Thomason Theorems for Fundamental (Modal) Logic
About 'Binding Modalities'
From Description to Hybrid Logics, and Back
Dynamic topological logics over spaces with continuous functions
Conditional and Unconditional Obligation for Agents in Time
Chain-Monadic Second Order Logic over Regular Automatic Trees and Epistemic Planning Synthesis
Bisimulation Safe Fixed Point Logic
Properties of logics of individual and group agency
Completions of Algebras and Completeness of Modal and Substructural Logics