yusuke1997/dblp-id-title huggingface dataset:
A Formalization of Off-Line Guessing for Security Protocol Analysis
Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers
Dynamic and Static Symmetry Breaking in Answer Set Programming
Projection in Temporal Logic Programming
Incresing the Versatility of Heuristic Based Theorem Provers
Comparison of LTL to Deterministic Rabin Automata Translators
Trace-based Deductive Verification
Finding Inconsistencies in Programs with Loops
Complexity of Planning in Action Formalisms Based on Description Logics
Quantified Heap Invariants for Object-Oriented Programs
Non-Clausal Deductive Techniques for Computing Prime Implicants and Prime Implicates
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard
On Expressive Description Logics with Composition of Roles in Number Restrictions
First-Order Atom Definitions Extended
Automatic Bit- and Memory-Precise Verification of eBPF Code
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms
A Unified Memory Model for Pointers
Skolemization for Substructural Logics
Ground Associative and Commutative Completion Modulo Shostak Theories
Application of Modern Smart Distribution Network Technology Layout Based on Keyword Extraction from Science and Technology Literature
A New Artificial Intelligence-based Method for Detecting Pavement Distresses
A patch-based network model for container workload forecasting
The exploration and practice of bid document review and risk identification algorithm in power enterprise bidding
Regression and Classification in Supervised Learning
UDON: Unsupervised Data SelectiON for Biomedical Entity Recognition
A Product Selection Calculation Method Based on the Similarity of Psychological Expectation Cloud Models
Traffic Volume Prediction on Busy Road Junctions
Relocating Local Outliers Produced by Partitioning Methods
Applied Linear Algebra Methods for Data Science
Execution Time Prediction for Apache Spark
Clutter Environment Perception Based on Prototypical Network
Empirical Analysis and Research of Digital Cultural and Creative Product Design in China Based on Mediation Effect and Multiple Regression Models of Tianjin Cotton Three Cultural Innovation Industrial Park
A Semantic Based Annotation Technique for the Internet of Things
2024 International Conference on Cloud Computing and Big Data, ICCBD 2024, Dali, China, July 26-28, 2024
Content-Based Textual Big Data Analysis and Compression
Economic and Operational Impact Analysis of a Mobile Automated Fingerprint Identification System (MAFIS) for the Philippine National Police
A Resampling Method by Combining Disjuncts-Robust Oversampling and Adaptive Neighborhood-based Weighted Undersampling for Imbalance Problem
Twitter Query Expansion via Word2Vec-Urban Dictionary Model
A Modified Least Significant Bit Randomized Embedding Method based on Image Partitioning and Columnar Transposition with Encryption
ICCBD 2021: 4th International Conference on Computing and Big Data, Wuhan, China, November 27 - 29, 2021
Research on the Recognition of Opinion Leaders in Social Media Based on Social Network Analysis Theory
Filter Selection Methods for Multiclass Classification
Trafico CDMX System: Using Big Data to improve the Mobility in Mexico City
Game Theory and DQN-Based Network Defense Decision-Making for Terminal Security in Power Distribution System
"The Path Exploration of Artificial Intelligence + Elderly Education Teaching Mode in Vocational Colleges under the Background of Informatization"
Using Virtual Reality Technology to Enhance the Experience of Immersive Sensation Training Color Applied to the Environment by Means of EEG
Knowledge Graph and Mind Mappings of Mechanisms and Machine Theory and Their Applications in Digital Education
Application of Data Mining Techniques in Construction Project Cost Prediction
Overview of progress and trends in research on modernization of science and technology
Digital Marketing Research trends: A bibliometric analysis from 2019 to 2024
Design and Optimization of an Integrated and Trustworthy WLAN Network Architecture Based on SDN for Power Systems
An Annotated Union Catalog of Local History Resources on Region 8: Basis for an Enhanced Computerized Database
Research on the Design of Digital Museum Information Presentation Based on Cognitive Load Theory
Design and Construction of 3D Model for Interior Design Based on Laser Point Cloud Data
A Comparative Analysis of the Impact of Taobao Image Reviews on the Sales of Search Products and Experience Products
Multi-class Document Classification Using Improved Word Embeddings
Research on the Influence of Short Video Marketing Strategies on Its Communication Effect-An Empirical Analysis Based on Hangzhou Asian Games Brand Weibo Short Video
Wavelet Analysis on the Relevance of Stock Market and Exchange Rate between China and India
Research on the Evaluation of Independence and Autonomy Ability of College Students Based on Machine Learning Algorithms
A Systematic Review on Social Network Analysis: Tools, Algorithms and Frameworks
A Trade Data Predictive Analytics Approach for Global Digital Trade
Risk analysis and control of large artificial intelligence models
Research and analysis of deep learning based computer technology combined with mathematical modelling
A Secure Key Scheduling Operation for International Data Encryption Algorithm using Serpent Key Schedule Operation
Design and Implementation of a Machine Learning Algorithm Based Technology Pathway for English Language Education
A Study on Anomaly Detection and Systemic Risk Early Warning in Guangdong Financial Market Based on Big Data and Deep Learning
Stable Stock Market Prediction Using NARX Algorithm
An Open-Set Recognition Method for SAR Target Based on the Generation of Feature Instances
Applying ISO/IEC 29110 to ISO/IEC 62304 for Medical Device Software SME
Integrating Entities in Text Summarization: A Review
"Construction of Conceptual Layer of Knowledge Graph of State-target Differentiation & Treatment based on Ontology and Protégé"
Emergency Scheduling Optimization Method of Natural Gas Supply Chain based on Differential Evolution
Sentiment Analysis: A T-BiLSTM Approach to Ceramic Product Comments
"The Consumption Cocoon Phenomenon and its Attributions in Online Shopping"
A Gold Price Prediction Model Based on Economic Indicators Using Temporal Convolution and Attention Mechanism
Research on Enterprise Decision Making and Visualization Based on Data Mining Technology
Investigating Airplane Crash Data with Watson Analytics and Cognos Analytics
Research and application of head-mounted virtual simulation system in electric power training
Association Analysis and Cross-Selling Strategy for Sports Products Based on Apriori and K-means Algorithms
A Set Pair Analysis and Regret Theory Approach for Three-way Decision
European option pricing based on the multi-layer forward BP neural network
Online Updating Algorithms of Statistical Methods for Big Data
SAR-Based Wind Resource Assessment near the Coast of Fujian
Less is More: With a 280-character limit, Twitter Provides a Valuable Source for Detecting Self-reported Flu Cases
Digital Conservation of Cave Art from a Bibliometric Perspective: A Visual Analysis of VOSviewer and CiteSpace
An Analysis of Tourists' Spatiotemporal Behavior Based on Self-driving Travel Trajectories: A Case Study of Tibet
A Secured RFID Lightweight Authentication Protocol based on Elliptic Curve Cryptography using modified PRNG Algorithm
Determining Satisfaction Levels among the Factors Influencing Three Mobile Traffic Navigation Applications used by Motorists in Metro Manila
Production and Distribution Problem of Emergency Materials in Large-Scale Emergencies
Handling Imbalanced Data through Affinity Propagation and SMOTE
Hotspots and Current Status of Global Explainable Artificial Intelligence: A Bibliometric Analysis
Analysis on the Influence of Supply Chain Optimization and IT Development on Chinese Real Estate
Multiclass Brain Tumor Classification using Region Growing based Tumor Segmentation and Ensemble Wavelet Features
Machine Learning-based Pipeline for Enterprise Cross-department Conflict Data Management
Research on Closed-loop Supply Chain Pricing Strategy Considering the Advertising Effect of Remanufactured Products Under Authorized Remanufacturing
A Term Selection Method Combined with Sentiment Score for Twitter Sentiment Analysis
Hydrate Management in Subsea Production System During Deep Water Gas Field Development by a Comprehensive Calculation Model
The Effect of Big Data Platforms on Multi-Stage Production System in Industrie 4.0
Research on the dynamic evolution and influencing factors in the construction of digital twin cities from the perspective of new infrastructure
The influence Mechanism of Cultural Identity and the Test of Mediating Effect Based on the SOR Model
An empirical study of multi-threading paradigms Reactive programming vs continuation-passing style
Pic2Translator: A tool to extract mobile GUI components for machine learning and tasks
Examining University Ranking Metrics: Articulating Issues of Size and Web Dependency
Strategic blockchain choice across competing supply chains
Backpropagation Neural Network with Feature Sensitivity Analysis: Pothole Prediction Model for Flexible Pavements using Traffic and Climate Associated Factors
Exploring the Effect of Big Data Analysis on Supply Chain Risk Management
Secure Cloud Database based on Verification Procedure
Missing Data Imputation Using Data Generated By GAN
Enterprise big data management based on Knowledge Graph
ICCBD 2020: The 3rd International Conference on Computing and Big Data, Taichung, Taiwan, August, 2020
Dynamic Android Malware Analysis with De-Identification of Personal Identifiable Information
DzGAN: Improved Conditional Generative Adversarial Nets Using Divided Z-Vector
Traditional Residential Spatial Comfort Assessment and Passive Room Technology Application Strategy Based on K-means Cluster Analysis
Hourglass Attention Image Inpainting Based on Hypergraph Convolution
A Method for Multi-source Heterogeneous Log Correlation Based on Conditional Independence
Research on personalized digital learning resources recommendation model Based on Scenario Tree
Philippine Economic Growth: GDP Prediction using Machine Learning Algorithms
Proceedings of the International Conference on Computing and Big Data, ICCBD 2018, Charleston, SC, USA, September 08-10, 2018
A Visual Cryptography-based Security Control Technique for Field-level Sharing Privileges in Power Information
Construction of marketing risk perception framework based on large model agent
Investigating the Effect of the Cloud Computing on Education Internet of Things (Eiot)
Analysis on Big Data Based Intelligence Processing Method of Electronic Reconnaissance Satellites
Classification of Varietal Type of Philippine Rice Grains Using Image Processing through Multi-View 3d Reconstruction
Application of Computer Technology in Financial Investment
Research on Automated Database Health Check and Slow SQL Optimization
Building Carbon Portrait Construction Method Based on Load Characteristics
Exploring the Intersection of Artificial Intelligence and Fine Arts: A Data-Driven Approach
A Study on Factors Influencing Consumers Omni-Channel Usage Intention: Focusing on the Mediation Effect of Relationship Quality
Disease Detection of Asian Rice (Oryza Sativa) in the Philippines Using Image Processing
Research on Key Technologies for Constructing a Spatio-Temporal Big Data Platform for Smart Cities: A Case Study of Pingdu City
A Data Analytics Approach Based on VAR Model for Digital Trade
Precision Marketing Ideas in the Communication Industry: A Study on the Influencing Factors Based on the Evaluation of Subscribers' Goodwill Toward Operators
A Study on the Characteristics of Urban Construction Land Changes in Liaozhongnan City Group
Dynamic Maintenance of Network Space Asset Library- Application of Neural Network Algorithms in Asset Change Perception and Confirmation Process
Research on Intelligent Financial Construction in Colleges and Universities Based on Big Data Technology
Research on the optimization of Dongguan manufacturing cluster and consumption upgrade mode of urban and rural residents based on genetic algorithm
An Application for Classifying Depression in Tweets
Identification of Chinese medicinal materials based on Support Vector Machine
Proceedings of the 2nd International Conference on Computing and Big Data, ICCBD 2019, Taichung, Taiwan, October 18-20, 2019
NetFlowTotal: A Cloud Service Integration Platform for Malicious Traffic Analysis and Collaboration
Impact of Digital Transformation on Disclosure Quality: Evidence from A-Share Listed Firms
Exploratory Methods for Imbalanced Data Classification in Online Recruitment Fraud Detection: A Comparative Analysis
Research and Practice of Data Governance in Universities Based on Data Middleware
Application of Literature-Based Discovery in Nonmedical Disciplines: A Survey
Research on Stock Selection and Quantitative Investment Decision-Making Based on Machine Learning
3D Parallel Coordinates for Multidimensional Data Cube Exploration
Research on the rule of homologous TCM applied to epidemic virus infection - - Analysis of the results of TCM innovation plan based on bibliometric method
Data mining based analysis of online gambling sites and illicit financial flows
AutoEncoder Network-based Pipeline for Abnormal Enterprise Data Mining
Design of Unknown Air Information Research and Judgment Mode Based on Big Data
A Comparative Study of the Application and Performance of Deep Learning in Athlete Performance Evaluation in Sports
DiLAD: A Distributed Layout Testing Framework for Android Applications
Effect of Preservation Technology for Sustainable Cold Chain
Study on Carbon Dioxide Emission in Highways Operation Stage Based on LCA
Strategy selection of ride-hailing platform supply chain based on charging and battery swapping services: self-build or cooperation
Prediction of Information Dissemination Scale in Large-scale Online Social Networks Based on Machine Learning: A Comparative Analysis
Algorithm Design for Intelligent Processing of Medical Big Data Based on Artificial Neural Networks
ChatGPT intervenes in the application analysis of higher education classrooms
Intelligent Maintenance Diagnosis System
GISKOP: A Modified Key Scheduling Operation of International Data Encryption Algorithm using Serpent Key Scheduling
Operation and Maintenance Management of Utility Tunnel Based on Intelligent Systems
Research on construction consumable consumption prediction model based on PSO-LSTM algorithm
AHP-based of research on environmental refugee problem
Utilizing Tandem Features for Text-Independent Speaker Recognition on Short Utterances
An Overview of the Julia Programming Language
A Simple Dashboard for OpenStack Horizon
Ballot Mechanism Design Based on Blockchain Methodologies
Research on the Attention Degree to Textile Apparel Information Based on Consumer Endowments
Distansya: An IoT Platform to Physical Distancing Provision Notification
An Investigation of Influencer Marketing Factors and Moderating Effect of Gender on Purchase Intention in the Context of Live Streaming Marketing
Research on Sea Cable Disturbance Monitoring Technology Based on Deep Learning
Density Peak Clustering Algorithm Based on Natural Neighbor and Diffusion Assignment
AutoRank: Tensor decomposition for Automatic Neural Network compress
Research on Robot Motion Attitude Recognition Models Based on Computer Vision and Re-Unet Networks
Empirical Analysis of the Willingness of Guangxi Farmers' Financial Literacy Education in the Context of Rural Revitalization - - Based on Field Research Data of 631 Farmers in Guangxi
Intelligent data governance: building an enterprise data management system using KG and LLM
RSA-GAN: Regional Selective Attention Guided GAN Model for Single-Image Generation
Trust as a Mediator in Live Streaming Marketing: An Investigation of its Influence on Purchase Intention in the Context of Influencer Marketing Factors
A Model for Music Influence, Similarity and Evolution Analysis Based on Directed Network
Research on the lightweight method of BIM model for substation engineering based on Web GL
The Impact of ESG Investment on the Diffusion of Green Technology Innovation in New Energy Vehicle Enterprises under Complex Network Game
Application of Principal Component Neural Network in Stock Price Prediction
Enhancing Stock Market Forecasting: A Hybrid Machine Learning Approach Integrating LSTM and GRU Models
Research on Multi-database Parallel Query Methods for Massive Electricity Businesses
Enhancing Feed-Forward Neural Network in Image Classification
Real-Time Multi-Person Smoking Event Detection
Performance Analysis Using Apriori Algorithm Along with Spark and Python
Auction Mechanism and Vehicle Routing Problem of Dynamic Logistics
Computer Modeling and Analysis of University Student Course Selection Factors Based on Factorial Analysis
A Multimodal-Based Feature Generalization Model for Binocular Stereo Matching
Sarcasm Detection on Flickr Using a CNN
The Effects of Service Quality on Continuous Use of Mobile Shopping APP
Detection of Overall Fruit Maturity of Local Fruits using Convolutional Neural Networks Through Image Processing
General Implementation Path of Data Governance for the Oriented Digital Transformation
Design and Implementation of a Distributed Container-Deployed Web Business Traffic Generator
Detection of Proper Form on Upper Limb Strength Training Using Extremely Randomized Trees for Joint Positions
A Ubiquitous Approach for Automated Library Book Location Management
Cricket World Cup Predictions Using KNN Intelligent Bigdata Approach
A multimedia technology-based characterisation of microblog users' emotional responses during social security incidents
Energy-Balanced Flow Scheduling Strategy for Multi-hop Data Transmission in Wireless Sensor Networks for Power Grids
A Method for Wal-Mart Sales Forecasting Based on Machine Learning
Multi-Label Classification of Employee Job Performance Prediction by DISC Personality
Construction of Intangible Cultural Heritage Inheritor Profiles Based on K-means Clustering Analysis and Recommendations for Protective Strategies
Student classroom behavior detection method based on deep learning
The Research on the Normalized Epidemic Prevention and Control System Based on Blockchain
Multi-source Remote Sensing Images Identification Fusion based on D-S Evidential Theory
Multimodal Emotion Detection Model Implementing Late Fusion of Audio and Lyrics in Filipino Music
Recognizing Common Skin Diseases in the Philippines Using Image Processing and Machine Learning Classification
Covid-19 Tweets Analysis with Topic Modeling
Stock Movement Prediction Based on Ensemble Deep Learning
False Alert Buster: an Adaptive Approach for NIDS False Alert Filtering
Feature-based Restaurant Customer Reviews Process Model using Data Mining
GARAG: A General adaptive question-answering system based on RAG
Abstract Generation System for Chinese Articles and Reviews of 3C Products
Moving edge computing scheduling algorithm based on incentive mechanism
Backpropagation Neural Network in Flexural Members: Prediction of Capacity Reduction of Beams with Cold Joints using the Angle of Inclination and Discontinuity Location
Sailing Speed Optimization for Near-Sea Shipping Services Considering Container Routing
The Impact of VR Museum Exhibition Design on User Emotional Experience: A Meta-Analysis
3D Morphable Model Parameter Estimation
Requirements-Based Explainability for Multi-agent Systems
Constrained Optimization by the epsilon Constrained Hybrid Algorithm of Particle Swarm Optimization and Genetic Algorithm
MultiRAG: An Agentic Multi-Modal and Multi-Source Retrieval-Augmented Generation Framework for Scientific Research
To Extend or Not to Extend? Context-Specific Corpus Enrichment
A New Paradigm for Pattern Classification: Nearest Border Techniques
Group Recommender Systems: A Virtual User Approach Based on Precedence Mining
Learning the Grammar of Distant Change in the World-Wide Web
Answer Presentation with Contextual Information: A Case Study Using Syntactic and Semantic Models
Guided Operators for a Hyper-Heuristic Genetic Algorithm
An Improved Prescriptive Tree-Based Model for Stochastic Parallel Machine Scheduling
Genetic Programming for Multi-objective Test Data Generation in Search Based Software Testing
Domain Ontology Construction Using Web Usage Data
Detecting Mutex Pairs in State Spaces by Sampling
Applying a Fuzzy Trust Model to E-Commerce Systems
Constructing Multi-resolution Support Vector Regression Modelling
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper)
A Multi-linguistic-Valued Modal Logic
All Models Are Miscalibrated, But Some Less So: Comparing Calibration with Conditional Mean Operators
Using Multi-chromosomes to Solve a Simple Mixed Integer Problem
Controlling Autonomous Robots with GOLOG
Bagging Support Vector Machine for Classification of SELDI-ToF Mass Spectra of Ovarian Cancer Serum Samples
A Genetic Programming Hyper-heuristic Approach for Online Resource Allocation in Container-Based Clouds
Helping an Agent Reach a Different Goal by Action Transfer in Reinforcement Learning
Some Complexity Results for Distance-Based Judgment Aggregation
Recognition of Passports Using FCM-Based RBF Network
Improved Support Vector Machine Generalization Using Normalized Input Space
Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications
AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings
Machine Learning of Credible Classifications
Generalized Bargaining Protocols
MPANet: Multi-scale Pyramid Attention Network for Collaborative Modeling Spatio-Temporal Patterns of Default Mode Network
Inductive Construction of Ontologies from Formal Concept Analysis
Controlling Engineering Problem Solving
Evaluating the Seeding Genetic Algorithm
Categorization Architecture with Predictive Reasoning and Alignment for UNSPSC
A Framework for Relational Link Discovery
FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage
Real-Time Decision Making for Train Carriage Load Prediction via Multi-stream Learning
Planning with Action Prioritization and New Benchmarks for Classical Planning
Building Intelligent Negotiating Agents
Learning High-Level Navigation Strategies via Inverse Reinforcement Learning: A Comparative Analysis
A Divide-and-Conquer Tabu Search Approach for Online Test Paper Generation
Classification Rule Mining with an Improved Ant Colony Algorithm
Eye Movement and Visual Target Synchronization Level Detection Using Deep Learning
Caption Detection and Removal in a TV Scene
An Intelligent Mobile Learning System for On-the-Job Training of Luxury Brand Firms
Exploiting Maximal Emerging Patterns for Classification
Automated Fish Classification Using Unprocessed Fatty Acid Chromatographic Data: A Machine Learning Approach
To Better Handle Concept Change and Noise: A Cellular Automata Approach to Data Stream Classification
Improvement of Arc Consistency in Asynchronous Forward Bounding Algorithm
A Logic Based Approach for Dynamic Access Control
Outline Capture of Images by Multilevel Coordinate Search on Cubic Splines
AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings
A New Neighborhood Based on Improvement Graph for Robust Graph Coloring Problem
Obstacle Avoidance and Path Planning Based on Flow Field for Biomimetic Robotic Fish
Hybrid CNN-Interpreter: Interprete Local and Global Contexts for CNN-Based Models
Development of Data Miner for the Ship Design Based on Polynomial Genetic Programming
Korean Compound Noun Term Analysis Based on a Chart Parsing Technique
Linear Methods for Reduction from Ranking to Multilabel Classification
L-Diversity Based Dynamic Update for Large Time-Evolving Microdata
Cascade Bayesian Optimization