yusuke1997/dblp-id-title huggingface dataset:
Fuzzy Sliding Mode Trajectory Tracking Control for Omnidirectional Mobile Robots Based on Exponential Convergence Law
Predicting Time Series Energy Consumption Based on Transformer and LSTM
Lagrange Relaxation Based Inter-satellite Links Scheduling for Satellite Networks
Propagation Characteristics in Indoor Scenario with Different Transmitter Locations at 3.5 and 6 GHz
Higher Accuracy Yolov5 Based Safety Helmet Detection
Research on the Application of Virtual Reality in Higher Vocational Education
Design and Implementation of Ad Hoc Communication Demonstration System
Alarm Sound Recommendation Based on Music Generating System
Research on Higher Vocational Art Design Education from the Perspective of Key Information Technology Based on Cloud Design
Synchronization Technology for Underwater Acoustic Mobile Communication
Cross-Border Technology Integration in the Field of Artificial Intelligence Based on Neural Network Algorithm
Probabilistic Caching in Wireless Device to Device Networks with Contention Based Multimedia Delivery
Research on the Challenges and Countermeasures of Tax Collection and Administration Under the Digital Economy
MS TextSpotter: An Intelligent Instance Segmentation Scheme for Semantic Scene Text Recognition in Asian Social Networks
Intelligent Teaching System of Vocational Education Based on a New Generation of Information Technology
Information Technology and Its Use in Medical Vocational Education: Present Practice and Future Prospects
Hybrid Duplex Relay Selection in Cognitive Radio Network
An Empirical Analysis of the Tax Inspection and Law Enforcement Risk of Changchun Taxation Bureau in the Era of Big Data
Research on Coal Mine Gas Safety Evaluation Based on D-S Evidence Theory Data Fusion
Multiple Color Feature and Contextual Attention Mechanism Based on YOLOX
Study on Benchmarking System of Vocational Education Under Future Information Technology
VR and AR Technology on Cultural Communication
REFF: REliable and Fast Forwarding in Vehicular Ad-hoc Network
A Review of Image and Point Cloud Fusion in Autonomous Driving
Big Data-Driven Vehicle Mobility Analysis and Design for 5G
Polynomial Reproducing Kernel Based Image Reconstruction for ECT
Unmanned Aerial Underwater Vehicle (UAUV) in the Ocean Sensor Network
Multi-base Station Energy Cooperation Based on Nash Q-Learning Algorithm
Disease Recognition of Plants Leaves in Northern Shaanxi Based on Siamese Networks
5G for Future Wireless Networks - 2nd EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings
6G Network Security Technology Based on Artificial Intelligence
Hierarchical System Architecture Design of UAV Cluster Based on Mission Requirements
Financial Pressure, Efficiency of Tax Collection and Administration and Regional Heterogeneity - Take the "2018 Consolidation of State and Local Taxes" as an Example
FRI Sampling for Ultra-wideband Gaussian Pulses Based on Non-ideal LPF
Modulation Recognition with Alpha-Stable Noise Over Fading Channels
Survey on Anti-jamming Technology of UAV Communication
Industrial Noisy Speech Enhancement Using Joint Time-Frequency Loss Function Based on U-Net
Smoke Segmentation Method Based on Super Pixel Segmentation and Convolutional Neural Network
6GN for Future Wireless Networks - 5th EAI International Conference, 6GN 2022, Harbin, China, December 17-18, 2022, Proceedings, Part II
An Improved Linear Threshold Model
Evaluation of Chinese Smart City Implementations: A Case Study of 'Cloud Seeds Plans' in Shenzhen
Simulation Analysis of Inter-digital Electrodes Sensor Based on HFSS
Reconstruction of Smart Phone Camera Effect Parameter Management Subsystem
6GN for Future Wireless Networks - 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I
Design and Research of Forest Farm Fire Drone Monitoring System Based on Deep Learning
Research on Key Intelligent System in Unmanned Surface Vessel
Network Coding Based Efficient Topology Construction and Flow Allocation Method for Satellite Networks
Performance Analysis of Web Server Side Reactive Programming
Research on RFID Indoor Localization Algorithm Based on Virtual Tags and Fusion of LANDMARC and Kalman Filter
Coverage Optimization in Self-organizing Small Cells
Telecom Big Data Based User Analysis and Application in Telecom Industry
Research on Detection Method of Malicious Node Based on Flood Attack in VANET
3D Spatial Information Reflected 2D Mapping for a Guide Dog Robot
Research on the Construction of Students' Vocational Core Literacy Evaluation System of Big Data Analysis
Detection of Corrosion Areas in Power Equipment Based on Improved YOLOv5s Algorithm with CBAM Attention Mechanism
Network Coding-Based Capacity Optimization for Space Dynamic Network
Eigenvalue and Capacity Analysis Based on Measurement of Massive MIMO System at 3.5 GHZ
Cross-Stage Fusion Network Based Multi-modal Hyperspectral Image Classification
Research on Smart Library System Based on Big Data
Deep Learning in Strawberry Growth Monitoring Research: A Review
A Lightweight Fault Diagnosis Model of Rolling Bearing Based on Gramian Angular Field and EfficientNet-B0
Complexity Analysis of Massive MIMO Signal Detection Algorithms Based on Factor Graph
Millimeter Wave Mobile Network with Full-Duplex Mode
The Practical Challenges and Ways Forward for News & Communication in Higher Vocational Education Under the Influence of 5G Technology
Improved War Strategy Optimization Algorithm Based on Hybrid Strategy
Research on Precise Ideological and Political Education in Colleges and Universities Based on the Analysis of Student Group Portraits
Per-Antenna Maximum Likelihood Detector for Massive MIMO
A Vehicular Positioning Enhancement with Connected Vehicle Assistance Using Extended Kalman Filtering
Electromagnetic Propagation Path and Signal Attenuation Prediction Based on DEM Electronic Map
A Design of Information Extraction Method on CNC Machine Tools Using C/S Structure
Research and Application of Summer High Temperature Prediction Model Based on CART Algorithm
Application of MED-TET to Feature Extraction of Vibration Signals
Artificial Intelligence Cross-Domain Fusion Pattern Recognition Based on Intelligent Robot Algorithm
Joint User-Association and Resource-Allocation in Virtualized C-RAN
An Improved DBSCAN Algorithm to Analyze Taxi Pick-Up Hotspots
Multiview Learning via Non-negative Matrix Factorization for Clustering Applications
Sports Pose Estimation Based on LSTM and Attention Mechanism
The Construction of Modern Horticulture Training Room and Its Application on the Internet of Things
Deep Reinforcement Learning-Based Joint Task Offloading and Radio Resource Allocation for Platoon-Assisted Vehicular Edge Computing
3D Battlefield Radiation Source Location Tracking Algorithm
Research on Building Emergency Supply Chain Decision-Making Platform Using Big Data Mining Technology
Research on Time-Sensitive BBU Shaper for Supporting the Transmission of Smart Grid
PAPR Reduction with Amplitude Clipping and Subband Filter in Filtered-OFDM System
A Semi-supervised Classification Method for 6G Remote Sensing Images Based on Pseudo-label and False Representation Recognition
Research on Information Literacy Teaching of Library MOOC Based on Constructivism
Research and Practice of Virtual Reality Technology in Vocational Education - Take Guangdong Innovative Technical College as an Example
AES and SNOW 3G are Feasible Choices for a 5G Phone from Energy Perspective
Research on Intelligent Management of Engineering Construction Safety Oriented to Internet of Things + BIM
LR-RZF Pre-coding for Massive MIMO Systems Based on Truncated Polynomial Expansion
OLSR Protocol Optimization Based on Node and Link Stability
Virtual Reality, Augmented Reality and Mixed Reality on the Marketing of Film and Television Creation Industry
UAV Path Planning Based on APF-Q-Learning
5G for Future Wireless Networks - First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
TASE-Net: A Short-Term Load Forecasting Model Based on Temperature Accumulation Sequence Effect
Traffic Scheduling Algorithms for OFDM Based Radio Systems
Challenges and Reflections on Vocational Education in 6G Era
Simulation Research on Thermal Management of Hydrogen Fuel Cell for UAV
An Outage Probability Based Channel Bonding Algorithm for 6G Network
Optimization of Talent Training Management System in Huizhou Engineering Vocational College
Tree-LSTM Guided Attention Pooling of DCNN for Semantic Sentence Modeling
Critical Separation Hashing for Cross-Modal Retrieval
Practice Research on Online and Offline Blended Learning Model Based on Chaoxingerya Platform-Take the Course of "Flower Decoration Technique" as an Example
Research on Emergency Communication Technology of UAV Based on D2D
Power Allocation Algorithm Based on Machine Learning for Device-to-Device Communication in Cellular Network
Throughput Analysis for Full-Duplex Based Device-to-Device Communications
Coverage Performance in Cognitive Radio Networks with Self-sustained Secondary Transmitters
6G Network Traffic Intrusion Detection Using Multiresolution Auto-encoder and Feature Matching Discriminator
Joint Power Allocation and Splitting Control in SWIPT-Aided Multi-carrier NOMA System
Spectrum Allocation Algorithm Based on Improved Chimp Optimization Algorithm
Node Localization Based on Multiple Radio Transmission Power Levels for Wireless Sensor Networks
Subway Double-Door Anti-pinch Based on RGBD Binary Classification Network
Facial Expression Recognition with Small Samples Under Convolutional Neural Network
Energy Efficient Resource Allocation in Small Cells with WiFi Unlicensed Bands Sharing
Outage Performance for IDF Relaying Mobile Cooperative Networks
Multimodal Fusion Blended Teaching Under the New Era of "Internet+" Education
Channel Estimation for RIS Communication System with Deep Scaled Least Squares
Research on Model Evaluation Technology Based on Modulated Signal Identification
Soil Temperature and Humidity Detection System Based on Machine Learning and Computer Vision
Power Allocation for NOMA System via Dual Sub-gradient Descent
Solving Portfolio Optimization Problems with Particle Filter
Efficiency Measurement of Financial Subsidies for Agricultural Insurance and Analysis of Provincial differences-A Study Based on Super-SBM Model and Malmquist Index
Loop Closure Detection Based on Local and Global Descriptors with Sinkhorn Algorithm
System-Level Performance Analysis in 3D Drone Mobile Networks
On Relay Selection for Relay-Assisted D2D Communications with Adaptive Modulation and Coding in Cellular Systems
Development of an Image Generation System for Expressing Auditory Environment to Hearing-Impaired People
Video Stereo Grid Construction Method for Accurate Forest Fire Location
A Geographic Packet Forwarding Approach in 3D Mobile Ad Hoc Networks
A Utility-Based Resource Allocation in Virtualized Cloud Radio Access Network
Landslide Detection of 6G Satellite Images Using Multi-level Transformer Network
Adaptive Feature Selection Based on Low-Rank Representation
Research on the Influence of Tax Burden on the Research and Development Level of Logistics Enterprises
Research on Digital Curriculum Resources Construction of Modern Agronomic Technology Specialty
Adaptive Collaborative Computing in Edge Computing Environment
A Phase Difference Based Cooperative Spectrum Sensing Scheme for Cognitive Radio Network
A Differential QAM Scheme for Uplink Massive MIMO Systems
A Joint Scheduling Scheme for Relay-Involved D2D Communications with Imperfect CSI in Cellular Systems
Detection of Green Walnuts on Trees Using the Improved YOLOv7 Model
Comprehensive Interference Analysis for ZC-NOMA
Target Detecting and Target Tracking Based on YOLO and Deep SORT Algorithm
Research on the Equalization Level of Public Services Under Urban-Rural Integration Development in Heilongjiang Province Based on Empirical Data Analysis
Research on the Reform of Governance System of Higher Vocational Colleges Under the Background of Modern Information Technology
MPR Selection Based on Link Transmission Quality and Motion Similarity in OLSR for FANETs
Multi-feature Fusion Network Acts on Facial Expression Recognition
A Survey on Security Issues in Big Data of Ubiquitous Network
Improved Flow Awareness by Intelligent Collaborative Sampling in Software Defined Networks
Design and Implementation of Garbage Classification System Based on Convolutional Neural Network
Research on Simulation Method of 5G Location Based on Channel Modeling
Research on OLSR Routing Protocol for High-Dynamic and Low-Density UAV Ad-Hoc Network
Multi Point Intelligent Temperature Synchronous Monitoring System Based on 5G Internet of Things Technology
The Development of Smart Home Disaster Prevention System
28 GHz MIMO Channel Characteristics Analysis for 5G Communication Systems
Support Recovery for Multiband Spectrum Sensing Based on Modulated Wideband Converter with SwSOMP Algorithm
Predicting Wind Turbine Power Output Based on XGBoost
Application Research of Electronic Invoice System Based on Blockchain Technology - Taking Shenzhen City as an Example
AI Application in English Vocational Education Through 6G Revolution
Research on the Development Path of Information Vocational Education for Intelligent Manufacturing Specialty Under the Background of "5G+ Industrial Internet" Era
Cluster Routing Protocol for Coal Mine Wireless Sensor Network Based on 5G
LSTM-Based MACD Strategy Parameter Restructuring
Joint C-V-BLAST and DS-NOMA for Massive MIMO
A Novel Algorithm of UAV-Mounted Base Station Placement and Frequency Allocation
Classification of Deforestation Factors in 6G Satellite Forest Images
Design of Image Based Optical Flow Tracking and Positioning System in Intelligent Assembly
Modularizing Triple Graph Grammars Using Rule Refinement
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem
Testing with Inputs and Outputs in CSP
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Second Competition on Software Testing: Test-Comp 2020
Ensuring Consistency Within Distributed Graph Transformation Systems
Incremental Consistency Checking of Dynamic Constraints
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
Language Independent Refinement Using Partial Modeling
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools
Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
Context-Aware Adaptive Services: The PLASTIC Approach
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars
Combining Independent Specifications
Bidirectionally Tolerating Inconsistency: Partial Transformations
What Is 'Mathematicalness' in Software Engineering?
Relation of Code Clones and Change Couplings
Probabilistic Runtime Enforcement of Executable BPMN Processes
Integration Testing in the Test Template Framework
GTS Families for the Flexible Composition of Graph Transformation Systems
Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings
Explanations for Regular Expressions
Activity-Driven Synthesis of State Machines
A Service Composition Construct to Support Iterative Development
Traceability Mappings as a Fundamental Instrument in Model Transformations
A Verifiable Modeling Approach to Configurable Role-Based Access Control
Scalable Analysis of Scalable Systems
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme
Reflections on the Design of a Specification language
Enforcing QVT-R with mu-Calculus and Games
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame
Refactoring Object-Z Specifications
Checking Memory Safety with Blast
Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs
Managing Variability Using Heterogeneous Feature Variation Patterns
LearnLib: A Library for Automata Learning and Experimentation
Optimal and Automated Deployment for Microservices
Semantic Code Search in Software Repositories using Neural Machine Translation
SMT-Based Planning Synthesis for Distributed System Reconfigurations
Actor-Centric Modeling of User Rights
Reasoning about Card Tears and Transactions in Java Card
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
Algebraic Specification of a Model Transformation Engine
Correctness-Preserving Configuration of Business Process Models
On the Danger of Coverage Directed Test Case Generation
Target Oriented Relational Model Finding
StaticGen: Static Generation of UML Sequence Diagrams
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing
EQ-Mine: Predicting Short-Term Defects for Software Evolution
A Programming Model for Service Oriented Applications
Stable Availability under Denial of Service Attacks through Formal Patterns
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)
Automatic Cross Validation of Multiple Specifications: A Case Study
Multi-level Model Product Lines - Open and Closed Variability for Modelling Language Families
Efficient Bounded Exhaustive Input Generation from Program APIs
rt-Inconsistency: A New Property for Real-Time Requirements
Smart Reduction
Orthographic Modeling Environment
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
Extracting Semantics from Question-Answering Services for Snippet Reuse
Towards Large Language Model Guided Kernel Direct Fuzzing
Controller Synthesis from LSC Requirements
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study
CRETE: A Versatile Binary-Level Concolic Testing Framework
Variability-Specific Abstraction Refinement for Family-Based Model Checking
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems
A Systematic Methodology for Developing Component Frameworks
Change Propagation due to Uncertainty Change
Verification of Object Oriented Programs Using Class Invariants
Polymorphic Single-Pushout Graph Transformation
Keeping Pace with the History of Evolving Runtime Models
Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
Andromeda: Accurate and Scalable Security Analysis of Web Applications
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
Compositional Checking of Communication among Observers
An Authoring Tool for Informal and Formal Requirements Specifications
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications
A Formal Framework with Late Binding
Precise Specification of Use Case Scenarios
Systematic Development of UMLsec Design Models Based on Security Requirements
Using Annotations to Check Structural Properties of Classes
Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Symbolic Predictive Cache Analysis for Out-of-Order Execution
AequeVox: Automated Fairness Testing of Speech Recognition Systems
Model Checking Software via Abstraction of Loop Transitions
Analyzing the Impact of Change in Multi-threaded Programs
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams
Quantitative Program Sketching using Lifted Static Analysis
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
Feature-Guided Analysis of Neural Networks
TCM: Test Case Mutation to Improve Crash Detection in Android
A Formal Connection between Security Automata and JML Annotations
A Logic for the Java Modeling Language JML
On Benchmarking for Concurrent Runtime Verification
Automated Debugging Using Path-Based Weakest Preconditions
Selective Bisection Debugging
Mapping an ADL to a Component-Based Application Development Environment
Can ChatGPT support software verification?
Debugging via Run-Time Type Checking
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution)
Modelling and Verification of Timed Interaction and Migration
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study
Distributed Process Discovery and Conformance Checking
A Survey-driven Feature Model for Software Traceability Approaches
A Model Checking Approach for Verifying COWS Specifications
Foundations of a Weak Measurement-Theoretic Approach to Software Measurement
A Unified and Formal Programming Model for Deltas and Traits
Model-Based Development of Web Applications Using Graphical Reaction Rules
A Formal Treatment of Context-Awareness
Vamos: Middleware for Best-Effort Third-Party Monitoring
Engineering Secure Self-Adaptive Systems with Bayesian Games
Scenario Realizability with Constraint Optimization
An Abstract Contract Theory for Programs with Procedures
Family-Based SPL Model Checking Using Parity Games with Variability
Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems
Combining Problem Frames and UML in the Description of Software Requirements
Implementing Condition/Event Nets in the Circal Process Algebra
Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software
Demonstration of an Automated Integrated Testing Environment for CTI Systems
Integration Testing in Software Product Line Engineering: A Model-Based Technique
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
Moving from Specifications to Contracts in Component-Based Design
Redundancy Based Test-Suite Reduction
Quality of Merge-Refactorings for Product Lines
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
Learning from Vacuously Satisfiable Scenario-Based Specifications
Supporting Verification-Driven Incremental Distributed Design of Components
Finding Semantic Bugs Fast
Integrating AORTA with Model-Based Data Specification Languages
Improving Symbolic Automata Learning with Concolic Execution
Automatic Model Driven Animation of SCR Specifications
Efficient Model Synchronization by Automatically Constructed Repair Processes
Object Composition in Scenario-Based Programming
Stochastic Simulation of Graph Transformation Systems
First Steps towards Deductive Verification of LLVM IR
Behaviour Analysis and Safety Conditions: A Case Study in CML
Software as Learning: Quality Factors and Life-Cycle Revised
Paracosm: A Test Framework for Autonomous Driving Simulations
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Opportunistic Monitoring of Multithreaded Programs
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants
Predictable Dynamic Plugin Systems
Business Process Compliance Using Reference Models of Law
Model-based Player Experience Testing with Emotion Pattern Verification
KLEEF: Symbolic Execution Engine (Competition Contribution)
Parallel Refinement Mechanisms for Real-Time Systems