yusuke1997/dblp-id-title huggingface dataset:
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
TPRPF: a preserving framework of privacy relations based on adversarial training for texts in big data
Verifying specifications with associated attributes in graph transformation systems
An efficient approach for continuous density queries
Memory replay with unlabeled data for semi-supervised class-incremental learning via temporal consistency
Fault-tolerant hamiltonian cycles and paths embedding into locally exchanged twisted cubes
Learning deep representations for semantic image parsing: a comprehensive overview
SR-AFU: super-resolution network using adaptive frequency component upsampling and multi-resolution features
NERank+: a graph-based approach for entity ranking in document collections
Interpolation oriented parallel communication to optimize coupling in earth system modeling
Distributed learning particle swarm optimizer for global optimization of multimodal problems
A comprehensive framework for predicting public opinion by tracking multi-informational dynamics
Data quality matters: towards trajectory data collection under local differential privacy
Correlation in mobile call networks from structure perspective
Improving accuracy of automatic optical inspection with machine learning
Understanding taxi drivers' routing choices from spatial and social traces
Stability-aware data offloading optimization in edge-based mobile crowdsensing
Decision-aware data suppression in wireless sensor networks for target tracking applications
iSensNet: an infrastructure for research and development in wireless sensor networks
Diversification on big data in query processing
Indexing dynamic encrypted database in cloud for efficient secure k-nearest neighbor query
ContextAug: model-domain failing test augmentation with contextual information
Supporting crosscutting concern modelling in software architecture design
An efficient approach to representing and mining knowledge from Qing court medical records
A maximum margin clustering algorithm based on indefinite kernels
Lexical simplification via single-word generation
Forecasting time series with optimal neural networks using multi-objective optimization algorithm based on AICc
Neural recovery machine for Chinese dropped pronoun
scLT-kit: a versatile toolkit for automated processing and analysis of single-cell lineage tracing data
On cross-correlation indicators of an S-box
Vehicle color recognition based on smooth modulation neural network with multi-scale feature fusion
ISM: intra-class similarity mixing for time series augmentation
LRP: learned robust data partitioning for efficient processing of large dynamic queries
Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula
Topic-enhanced argument mining via mutual learning
CONET: a virtual human system-centered platform for drug discovery
Parallel exploration via negatively correlated search
Improving bagging performance through multi-algorithm ensembles
Interpretation with baseline shapley value for feature groups on tree models
Tool learning with large language models: a survey
From one to crowd: a survey on crowdsourcing-based wireless indoor localization
Automatic façade recovery from single nighttime image
Toward few-shot domain adaptation with perturbation-invariant representation and transferable prototypes
Automating identification of services and their variability for product lines using NSGA-II
An efficient parallel algorithm of N-hop neighborhoods on graphs in distributed environment
Spatio-temporal keyword query in semantic trajectories
Boosting performance in attack intention recognition by integrating multiple techniques
Reducing partition skew on MapReduce: an incremental allocation approach
A survey of geometric graph neural networks: data structures, models and applications
Urban computing: enabling urban intelligence with big data
Simplified multi-view graph neural network for multilingual knowledge graph completion
Formal verification of synchronous data-flow program transformations toward certified compilers
KD-Crowd: a knowledge distillation framework for learning from crowds
Foundation model enhanced derivative-free cognitive diagnosis
DP-UserPro: differentially private user profile construction and publication
A concern-based approach to generating formal requirements specifications
A survey of passive technology for digital image forensics
A survey on EOSIO systems security: vulnerability, attack, and mitigation
Animatable 3D Gaussians for modeling dynamic humans
Discovering top- k patterns with differential privacy-an accurate approach
Progress in theoretical quantum computing
Interactive texture design and synthesis from mesh sketches
Adaptive sparse and dense hybrid representation with nonconvex optimization
On the analysis of ant colony optimization for the maximum independent set problem
Human-machine interactive streaming anomaly detection by online self-adaptive forest
Social influence and spread dynamics in social networks
Nonconvex and discriminative transfer subspace learning for unsupervised domain adaptation
Efficient ID-based proxy multi-signature scheme secure in random oracle
Empirically revisiting and enhancing automatic classification of bug and non-bug issues
New multi-objective approach for dynamic risk-driven intrusion responses
VColor*: a practical approach for coloring large graphs
Algorithmic trading system: design and applications
Security evaluation against differential and linear cryptanalyses for Feistel ciphers
Constrained query of order-preserving submatrix in gene expression data
A survey on 3D editing based on NeRF and 3DGS
Optimizing partitioning strategies for faster inverted index compression
Optimized high order product quantization for approximate nearest neighbors search
Low-cost client-side encryption and secure Internet of things (IoT) provisioning
Behaviour-diverse automatic penetration testing: a coverage-based deep reinforcement learning approach
Locality-constrained framework for face alignment
Discourage free riding in Peer-to-Peer file sharing systems with file migration and workload balancing approach
Cryptanalysis of DBST, a lightweight block cipher
Interest-suppression-based NDN live video broadcasting over wireless LAN
Cloud authorization: exploring techniques and approach towards effective access control framework
Visual analysis approach for mutual fund selection
CodeAttention: translating source code to comments by exploiting the code constructs
A comparative study of two formal semantics of the SIGNAL language
Efficient approach of translating LTL formulae into Büchi automata
An improved multi-objective evolutionary algorithm for computation offloading in the multi-cloudlet environment
Financial performance evaluation and forecasting of enterprises by the combination of PCA and CNN deep learning
A novel architecture for ahead branch prediction
Spoken dialog summarization system with HAPPINESS/SUFFERING factor recognition
Research on technology of desktop virtualization based on SPICE protocol and its improvement solutions
Achieving data-driven actionability by combining learning and planning
Task assignment for social-oriented crowdsourcing
QAAS: quick accurate auto-scaling for streaming processing
Adaptive reinforced federated graph domain generalization with dynamic aggregation strategy
Optimization methods for regularization-based ill-posed problems: a survey and a multi-objective framework
A pointer logic and certifying compiler
System dynamics based evolutionary game model for data transaction quality regulation
Learning to detect subway arrivals for passengers on a train
Impact of preprocessing on medical data classification
Exploring speech clues for Chinese aspect-based sentiment analysis
A quality status encoding scheme for PCB-based products in IoT-enabled remanufacturing
SMT-based query tracking for differentially private data analytics systems
HGeoHashBase: an optimized storage model of spatial objects for location-based services
Generating empathetic responses through emotion tracking and constraint guidance
Large-scale virtual machines provisioning in clouds: challenges and approaches
On the equal-weight symmetric Boolean functions
Accelerating temporal action proposal generation via high performance computing
Focus-sensitive relation disambiguation for implicit discourse relation detection
A novel strategy for automatic test data generation using soft computing technique
A comprehensive taxonomy of prompt engineering techniques for large language models
An overview of the haplotype problems and algorithms
Teachers cooperation: team-knowledge distillation for multiple cross-domain few-shot learning
Linear discriminant analysis with worst between-class separation and average within-class compactness
rCOS: a formal model-driven engineering method for component-based software
Side-channel analysis attacks based on deep learning network
A matrix grammar approach for automatic distributed network resource management
On the verification of polynomial system solvers
Fast correlation coefficient estimation algorithm for HBase-based massive time series data
Exploiting blockchain for dependable services in zero-trust vehicular networks
Secure outsourcing of large matrix determinant computation
Perspectives of China's HPC system development: a view from the 2009 China HPC TOP100 list
Accelerating local SGD for non-IID data using variance reduction
Multi-affect(ed): improving recommendation with similarity-enhanced user reliability and influence propagation
Learning from shortcut: a shortcut-guided approach for explainable graph learning
Towards a programming framework for activity-oriented context-aware applications
Adaptive scheduling for shared window joins over data streams
A class of life insurance reserve model and risk analysis in a stochastic interest rate environment
PBCounter: weighted model counting on pseudo-boolean formulas
CCA: collaborative competitive agents for image editing
Iaso: an autonomous fault-tolerant management system for supercomputers
Non-cooperative optimization games in market-oriented overlay networks: an integrated model of resource pricing and network formation
VIPLFaceNet: an open source deep face recognition SDK
Understanding bike trip patterns leveraging bike sharing system open data
Performance issue monitoring, identification and diagnosis of SaaS software: a survey
A survey on multilingual large language models: corpora, alignment, and bias
Compound graph based hybrid data center topologies
On interleaving space exploration of multi-threaded programs
HSAEP: a new platform to evaluate hybrid simulation algorithms
Informative and diverse emotional conversation generation with variational recurrent pointer-generator
A semi-supervised hierarchical approach: two-dimensional clustering of microarray gene expression data
An efficient memory data organization strategy for application-characteristic graph processing
DBST: a lightweight block cipher based on dynamic S-box
Effectively deploying services on virtualization infrastructure
PopCap: popularity oriented proxy caching for peer-assisted Internet video-on-demand streaming services
A new encryption scheme for surveillance videos
Constructing quantum codes
Scalable and adaptive log manager in distributed systems
A communication-reduced and computation-balanced framework for fast graph computation
Quality assessment in competition-based software crowdsourcing
Improved shape from shading without initial information
Detailed and clock-driven simulation for HPC interconnection network
ScenicPlanner: planning scenic travel routes leveraging heterogeneous user-generated digital footprints
CompactChain: an efficient stateless chain for UTXO-model blockchain
A framework for cloned vehicle detection
Semantic-aware entity alignment for low resource language knowledge graph
Adversarial network embedding using structural similarity
An improved spectral clustering algorithm based on random walk
Local feature based retrieval approach for iris biometrics
A comprehensive survey of federated transfer learning: challenges, methods and applications
Automatic object classification using motion blob based local feature fusion for traffic scene surveillance
Efficient FPGA-based graph processing with hybrid pull-push computational model
Efficient sampling methods for characterizing POIs on maps based on road networks
Financial information processing and development of emerging financial markets
D-Ocean: an unstructured data management system for data ocean environment
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing
Learning with privileged information using Bayesian networks
MapReduce-based entity matching with multiple blocking functions
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model
Biomedical entity linking based on less labeled data
Decentralized architecture for resource management of group-based distributed systems
A survey and benchmark evaluation for neural-network-based lossless universal compressors toward multi-source data
A new parallel scheduling system for multiple radio wireless mesh network
A resynchronization attack on stream ciphers filtered by Maiorana-McFarland functions
An efficient deep learning-assisted person re-identification solution for intelligent video surveillance in smart cities
PyABV: a framework for enhancing PyRTL with assertion-based verification
Character recognition based on non-linear multi-projection profiles measure
Towards uncertainty-calibrated structural data enrichment with large language model for few-shot entity resolution
Requirement emergence computation of networked software
Recommendation algorithm based on item quality and user rating preferences
Resolving the GPU responsiveness dilemma through program transformations
Context-sensitive Web service discovery over the bipartite graph model
Towards estimating computer users' mood from interaction behaviour with keyboard and mouse
Data-driven testing methodology for RFID systems
Blockchain based federated learning for intrusion detection for Internet of Things
SS-Pro: a simplified Siamese contrastive learning approach for protein surface representation
Minimizing interconnect length on reconfigurable meshes
A sharding blockchain-based UAV system for search and rescue missions
Code context-based reviewer recommendation
Scene-adaptive crowd counting method based on meta learning with dual-input network DMNet
Robust and semantic-faithful post-hoc watermarking of text generated by black-box language models
New development of cognitive diagnosis models
MDS array codes with low disk I/O and small repair bandwidth
Graph foundation model
Shape-intensity knowledge distillation for robust medical image segmentation
Where to go? Predicting next location in IoT environment
A blockchain-oriented covert communication technology with controlled security level based on addressing confusion ciphertext
Reasoning about actions with loops via Hoare logic
Privacy dilemmas and opportunities in large language models: a brief review
A novel PPGA-based clustering analysis method for business cycle indicator selection
On the parameterized complexity of minimum/maximum degree vertex deletion on several special graphs
Leveraging auxiliary-tasks for height and weight estimation with pose-disentanglement
Non-fragile control of fuzzy affine dynamic systems via piecewise Lyapunov functions
Meaningful image encryption algorithm based on compressive sensing and integer wavelet transform
State of the art and prospects of structured sensing matrices in compressed sensing
Tissue-like P systems with polarizations
The autocorrelation distribution of balanced Boolean function
Hybrid information retrieval policies based on cooperative cache in mobile P2P networks
Local outlier factor and stronger one class classifier based hierarchical model for detection of attacks in network intrusion detection dataset
A MLP-Mixer and mixture of expert model for remaining useful life prediction of lithium-ion batteries
ABLkit: a Python toolkit for abductive learning
Visual abstraction of dynamic network via improved multi-class blue noise sampling
Exploiting natural language services: a polarity based black-box attack
Sememe knowledge computation: a review of recent advances in application and expansion of sememe knowledge bases
Dominance-based fuzzy rough approach to an interval-valued decision system
Learning contextual information and task alignment for emotion cause extraction in conversation
Fine-grained sequence-to-sequence lip reading based on self-attention and self-distillation
Common knowledge learning for generating transferable adversarial examples
Forecasting complex group behavior via multiple plan recognition
Formal verification of concurrent programs with read-write locks
AirWSeg: a comprehensive dataset collection for pulmonary airway segmentation in medical imaging
Top-k probabilistic prevalent co-location mining in spatially uncertain data sets
A retrospective of knowledge graphs
Matching dependencies: semantics and query answering
Bayesian compressive principal component analysis
A balanced decomposition approach to real-time visualization of large vector maps in CyberGIS
Research on key technologies of edge cache in virtual data space across WAN
IXT: Improved searchable encryption for multi-word queries based on PSI
Base communication model of IP covert timing channels
Geometric attack resistant image watermarking based on MSER
The parametric complexity of bisimulation equivalence of normed pushdown automata
An extended EM algorithm for subspace clustering
A prompt-based approach to adversarial example generation and robustness enhancement
A novel unsupervised approach for multilevel image clustering from unordered image collection
EDOA: an efficient delay optimization approach for mixed-polarity Reed-Muller logic circuits under the unit delay model
Extracting optimal actionable plans from additive tree models
Virtual machine selection and placement for dynamic consolidation in Cloud computing environment
Advanced forecasting of career choices for college students based on campus big data
FPGA based unified architecture for public key and private key cryptosystems
Mathematical model and simulated annealing algorithm for Chinese high school timetabling problems under the new curriculum innovation
Classification-based self-adaptive differential evolution and its application in multi-lateral multi-issue negotiation
3D object retrieval based on histogram of local orientation using one-shot score support vector machine
BGNN: Behavior-aware graph neural network for heterogeneous session-based recommendation
Active transfer learning of matching query results across multiple sources
The time model for event processing in internet of things
Attribute augmentation-based label integration for crowdsourcing
MMCo: using multimodal deep learning to detect malicious traffic with noisy labels
Entity set expansion in knowledge graph: a heterogeneous information network perspective
Line drawing via saliency map and ETF
A learnable self-supervised task for unsupervised domain adaptation on point cloud classification and segmentation
Real-time urban traffic information estimation with a limited number of surveillance cameras
The most tenuous group query
Chromatic framework for quantum movies and applications in creating montages
A survey of uncertain data management
Linking temporal records
Analyses for specific defects in android applications: a survey
A simple construction of CRT-based ideal secret sharing scheme and its security extension based on common factor
Event analysis in social multimedia: a survey
Approximation operators based on vague relations and roughness measures of vague sets
A first-order coalition logic for BDI-agents
Imbalanced multi-instance multi-label learning via tensor product-based semantic fusion
Community detection in scientific collaborative network with bayesian matrix learning
Hierarchical data replication strategy to improve performance in cloud computing
EvolveKG: a general framework to learn evolving knowledge graphs
Risk aversion and agents' survivability in a financial market
Polychronous automata and their use for formal validation of AADL models
Streaming algorithms for triangle counting: adversarial robustness and the weighted case
Rehearsal: learning from prediction to decision
A multi-level approach to highly efficient recognition of Chinese spam short messages
DFD-Net: lung cancer detection from denoised CT scan image using deep learning
Layered virtual machine migration algorithm for network resource balancing in cloud computing
An extension of process calculus for asynchronous communications between agents with epistemic states
Polynomial stacked-attention network for nationality classification
Graph-Segmenter: graph transformer with boundary-aware attention for semantic segmentation
Two of a kind or the ratings game? Adaptive pairwise preferences and latent factor models
DeepComp: towards a balanced system design for high performance computer systems
HPP controller: a system controller for high performance computing
Accurate and efficient follower log repair for Raft-replicated database systems
AADL+: a simulation-based methodology for cyber-physical systems
Research on resource allocation for multi-tier web applications in a virtualization environment
WPIA: accelerating DNN warm-up in Web browsers by precompiling WebGL programs
A survey on federated learning: a perspective from multi-party computation
FLAPS: fluctuation-aware power auction strategy for reducing the power overload probability
Sequential quadratic programming enhanced backtracking search algorithm
Unsupervised lightweight 3D convolutional network for enhanced infrared imaging in wearable devices
Multi-constraint reinforcement learning in complex robot environments
Software design pattern mining using classification-based techniques
Detecting differential expression from RNA-seq data with expression measurement uncertainty
FedSIN: information network representation based on federated self-adaptive learning
HAT: an efficient buffer management method for flash-based hybrid storage systems
CMM: Credential migration management system based on trusted computing in CGSP
Strongly connected components based efficient computation of page rank
MEFE: microbiome signature identification based on elastic feature extraction
Simple index based symmetric searchable encryption with result verifiability
MLDA: a multi-level k-degree anonymity scheme on directed social network graphs
Parallel intelligence: toward lifelong and eternal developmental AI and learning in cyber-physical-social spaces
Algebraic criteria for finite automata understanding of regular language
An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles
Agents with foundation models: advance and vision
Real-time object tracking via compressive feature selection
SCENERY: a lightweight block cipher based on Feistel structure
Fault-tolerant feedback virtual machine deployment based on user-personalized requirements
A V2I communication-based pipeline model for adaptive urban traffic light scheduling
Adaptive genetic algorithms guided by decomposition for PCSPs: application to frequency assignment problems
Semi-supervised community detection on attributed networks using non-negative matrix tri-factorization with node popularity
Measure oriented training: a targeted approach to imbalanced classification problems
Effects of smartphone icon background shapes and figure/background area ratios on visual search performance and user preferences
Design and formal verification of a CEM protocol with transparent TTP
Distant supervised relation extraction based on residual attention
Precise sensitivity recognizing, privacy preserving, knowledge graph-based method for trajectory data publication
Multi-dimensional information-driven many-objective software remodularization approach
Performance comparisons between cellular-only and cellular/WLAN integrated systems based on analytical models
Contactless interaction recognition and interactor detection in multi-person scenes