yusuke1997/dblp-id-title huggingface dataset:
Shared variable oriented parallel precompiler for SPMD model
A theory of hybrid diagnosis
Saliency-Based Fidelity Adaptation Preprocessing for Video Coding
Low Cost Scan Test by Test Correlation Utilization
Dynamic Interval Index Structure in Constraint Database Systems
Security of the SMS4 Block Cipher Against Differential Cryptanalysis
A neural network model based on logical operations
Radial Supershapes for Solid Modeling
An Algebraic Hardware/Software Partitioning Algorithm
CodeRankEval: Benchmarking and Analyzing LLM Performance for Code Ranking
Approximation Algorithm for Weighted Weak Vertex Cover
DeepHBSP: A Deep Learning Framework for Predicting Human Blood-Secretory Proteins Using Transfer Learning
Collaborative Mobile Charging and Coverage
A framework of memory consistency models
Micro-Task Processing in Heterogeneous Reconfigurable Systems
A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks
Specification and Verification of the Zab Protocol with TLA+
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows
Constructive sets in computable sets
Model Failure and Context Switching Using Logic-Based Stochastic Models
Context-Based Moving Object Trajectory Uncertainty Reduction and Ranking in Road Network
Integrated Differentiated Survivability in IP over WDM Networks
Optimization Techniques for RFID Complex Event Processing
Improving Software Quality Prediction by Noise Filtering Techniques
Identity-Based Encryption with Equality Test Supporting Accountable Authorization in Cloud Computing
Distributed Storage Cluster Design for Remote Mirroring Based on Storage Area Network
Compressed Data Cube for Approximate OLAP Query Processing
Simulation Might Change Your Results: A Comparison of Context-Aware System Input Validation in Simulated and Physical Environments
Caching Document Identifiers to Speedup Query Processing in Search Servers
Combined Cloud: A Mixture of Voluntary Cloud and Reserved Instance Marketplace
Method of Direct Texture Synthesis on Arbitrary Surfaces
Understanding and Generating Ultrasound Image Description
A Novel Approach to Clustering Merchandise Records
Hair Image Generation Using Connected Texels
Optimal Path Embedding in the Exchanged Crossed Cube
An Action Analysis for Combining Partial Evaluation
RWBO(p d w): A Novel Backoff Algorithm for IEEE 802.11 DCF
Counting and topological order
DEMC: A Deep Dual-Encoder Network for Denoising Monte Carlo Rendering
Designing a Top-Level Ontology of Human Beings: A Multi-Perspective Approach
Digital Differential Geometry Processing
Some notes on graph automata, tiling systems and partition logic
OpenMP on Networks of Workstations for Software DSMs
Design and Implementation of an Interoperable Object Platform for Multi-Databases
Multistage Off-Line Permutation Packet Routing on a Mesh: An Approach with Elementary Mathematics
Generating Symbolic Interpolants for Scattered Data with Normal Vectors
Parameter-Free Search of Time-Series Discord
Fast theorem-proving and Wu's Method
A Blockchain-Based Protocol for Malicious Price Discrimination
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
Some Structural Properties of SAT
Low-Complexity Tools in AVS Part 7
An Effective Error Resilient Packetization Scheme for Progressive Mesh Transmission over Unreliable Networks
Bandwidth Reservation Using Velocity and Handoff Statistics for Cellular Networks
Evolutionary Pseudo-Relaxation Learning Algorithm for Bidirectional Associative Memory
Provisioning QoS Guarantee by Multipath Routing and Reservation in Ad Hoc Networks
Cooperative Computing Techniques for a Deeply Fused and Heterogeneous Many-Core Processor Architecture
Bounded algebra and current-mode digital circuits
An Anti-Counterfeiting RFID Privacy Protection Protocol
Flash-Optimized B+-Tree
Gfarm/BB - Gfarm File System for Node-Local Burst Buffer
Mining Frequent Itemsets in Correlated Uncertain Databases
Optimization Strategies Oriented to Loop Characteristics in Software Thread Level Speculation Systems
Robust Non-Frontal Face Alignment with Edge Based Texture
A Framework for Supporting Tree-Like Indexes on the Chord Overlay
Effective I/O Scheme Based on RTP for Multimedia Communication Systems
Efficient Computation of k -Medians over Data Streams Under Memory Constraints
Debugging Concurrent Software: Advances and Challenges
Supporting Flexible Data Distribution in Software DSMs
Automated Testing of Web Applications Using Combinatorial Strategies
FSD-GAN: Generative Adversarial Training for Face Swap Detection via the Latent Noise Fingerprint
Graph Embedding Based API Graph Search and Recommendation
Reduction of cycle unification of type Cpg+r
Qualitative and Quantitative Model Checking Against Recurrent Neural Networks
Mapping between 2-d meshes of the same size
Trusted Integrated Circuits: The Problem and Challenges
Some results on default logic
Searching a Polygonal Region by a Boundary Searcher
MiRNA-Disease Association Prediction Based on Stacked Autoencoders and Variant Triplet Networks
Hot Data Identification with Multiple Bloom Filters: Block-Level Decision vs I/O Request-Level Decision
Image Magnification Method Using Joint Diffusion
Identity-Preserving Adversarial Training for Robust Network Embedding
An Efficient Algorithm for Distributed Outlier Detection in Large Multi-Dimensional Datasets
Towards a Theory of Bisimulation for the Higher-Order Process Calculi
WTR: A Reputation Metric for Distributed Hash Tables Based on a Risk and Credibility Factor
Topic Modeling Based Warning Prioritization from Change Sets of Software Repository
Inductive Model Generation for Text Classification Using a Bipartite Heterogeneous Network
A New Classifier for Facial Expression Recognition: Fuzzy Buried Markov Model
A Novel Intermediary Framework for Dynamic Edge Service Composition
A Survey of Approximate Computing: From Arithmetic Units Design to High-Level Applications
DBSC-Based Grayscale Line Image Vectorization
A Scalable Testing Framework for Location-Based Services
A Geometric Strategy Algorithm for Orthogonal Projection onto a Parametric Surface
WWW Business Applications Based on the Cellular Model
A Survey of Visual Analytic Pipelines
Automatic Narrow-Deep Feature Recognition for Mould Manufacturing
Robustness Assessment of Asynchronous Advantage Actor-Critic Based on Dynamic Skewness and Sparseness Computation: A Parallel Computing View
Approximate Sorting of Packet-Scheduling in High-Speed Networks
Ontology-Based Semantic Cache in AOKB
An Efficient Network-on-Chip Router for Dataflow Architecture
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
Pushing to the Limit: An Attention-Based Dual-Prune Approach for Highly-Compacted CNN Filter Pruning
Fault Tolerant Algorithm Based on Dynamic and Active Load Balancing for Redundant Services
A Sufficient Condition for a Wire-Frame Representing a Solid Modeling Uniquely
VFSim: Concurrent Fault Simulation at Register Transfer Level
Customer Activity Sequence Classification for Debt Prevention in Social Security
Selected Crosstalk Avoidance Code for Reliable Network-on-Chip
Synthetic Lethal Interactions Prediction Based on Multiple Similarity Measures Fusion
Using Confidence Interval to Summarize the Evaluating Results of DSM Systems
Complexities of Homomorphism and Isomorphism for Definite Logic Programs
Design of multivalued circuits based on an algebra for current-mode CMOS multivalued circuits
Algebraic Construction for Zero-Knowledge Sets
Communication Between Speech Production and Perception Within the Brain-Observation and Simulation
Delay Testing Viability of Gate Oxide Short Defects
Skyway: Accelerate Graph Applications with a Dual-Path Architecture and Fine-Grained Data Management
Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes
Towards Progressive and Load Balancing Distributed Computation: A Case Study on Skyline Analysis
Learnability in Online Kernel Selection with Memory Constraint via Data-Dependent Regret Analysis
Visual Topic Semantic Enhanced Machine Translation for Multi-Modal Data Efficiency
BACH: A Bandwidth-Aware Hybrid Cache Hierarchy Design with Nonvolatile Memories
On the Estimation of the Functional Size of Software from Requirements Specifications
As-Rigid-As-Possible Surface Morphing
Solving Inheritance Anomaly with OMNets
Max-Flow Problem in Undirected Planar Networks with Node Capacities Being in NC
Automatic Buffer Overflow Warning Validation
Some Aspects of Synchronization of DFA
Functional-level Fault Simulation with concurrent and parallel mechanisms using object-oriented VLSI model
Mining Frequent Generalized Itemsets and Generalized Association Rules Without Redundancy
A Survey of Non-Volatile Main Memory File Systems
Web Service Composition Based on QoS Rules
SSTT: Efficient Local Search for GSI Global Routing
Fast multicast on multistage interconnection networks using multi-head worms
Sequential Combination Methods for Data Clustering Analysis
Goal-Based Automated Code Generation in Self-Adaptive System
Efficient Function-Hiding Inner Product Functional Encryption and Its Application to Fine-Grained Data Sharing
A Feature Model Based Framework for Refactoring Software Product Line Architecture
Partial Label Learning via Conditional-Label-Aware Disambiguation
Exploring Social Annotations with the Application to Web Page Recommendation
Virtualization, Cloudification, and Service Orientation of Network: A Systematic Review
Test-Driven Feature Extraction of Web Components
Augmented Flow Simulation Based on Tight Coupling Between Video Reconstruction and Eulerian Models
Preserving Privacy of Software-Defined Networking Policies by Secure Multi-Party Computation
A lock-based cache coherence protocol for scope consistency
Enhanced Feature Representations for Low-Resolution Fine-Grained Image Recognition via Categorical Knowledge Guidance
Genetic Programming with simple loops
Community-Preserving Social Graph Release with Node Differential Privacy
VFM: Visual Feedback Model for Robust Object Recognition
Adaptive Indexing of Moving Objects with Highly Variable Update Frequencies
An Adaptive Approach to Schema Classification for Data Warehouse Modeling
Optimal Relay Assignment and Power Allocation for Cooperative Communications
Spatio-Temporal Location Recommendation for Urban Facility Placement via Graph Convolutional and Recurrent Networks
The complexity of recognition in the single-layered PLN network with feedback connections
SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks
Quaternion Diffusion for Color Image Filtering
Bug Triaging Based on Tossing Sequence Modeling
Characterization of Exact One-Query Quantum Algorithms for Partial Boolean Functions
High Performance Interconnect Network for Tianhe System
Multi-Feature Fusion Based Structural Deep Neural Network for Predicting Answer Time on Stack Overflow
Adapting Memory Hierarchies for Emerging Datacenter Interconnects
RGB-D Hand-Held Object Recognition Based on Heterogeneous Feature Fusion
Window Detection in Facades Using Heatmap Fusion
GekkoFS - A Temporary Burst Buffer File System for HPC Applications
A Generative Model Approach for Geo-Social Group Recommendation
Semi-Online Scheduling with Machine Cost
Exploring Heterogeneous NoC Design Space in Heterogeneous GPU-CPU Architectures
Understanding Science Through the Computational Lens
Collision Attack on the Full Extended MD4 and Pseudo-Preimage Attack on RIPEMD
A crash course in λ-calculus
Center-distance continuous probability models and the distance measure
Imputing DNA Methylation by Transferred Learning Based Neural Network
Overcoming Spatial Constraints in VR: A Survey of Redirected Walking Techniques
Integrated Framework for Vehicle Interior Design Using Digital Human Model
MacroTrend: A Write-Efficient Cache Algorithm for NVM-Based Read Cache
Aspect-Oriented Modeling and Verification with Finite State Machines
Performance Comparison of AVS and H.264/AVC Video Coding Standards
DRMR: Dynamic-Ring-Based Multicast Routing Protocol for Ad Hoc Networks
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
Semantic and Structural Analysis of TV Diving Programs
Preventing Recommendation Attack in Trust-Based Recommender Systems
MNP: A class of NP optimization problems
Optimal algorithm for algebraic factoring
Assisting Visually Impaired People to Acquire Targets on a Large Wall-Mounted Display
Knowledge Map: Mathematical Model and Dynamic Behaviors
Improving Open Set Domain Adaptation Using Image-to-Image Translation and Instance-Weighted Adversarial Learning
Evaluating and Constraining Hardware Assertions with Absent Scenarios
Optimizations for High Performance Network Virtualization
Palette-Based Color Transfer for Images and Videos
A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines
General Floorplans with L/T-Shaped Blocks Using Corner Block List
QoS-Driven Self-Healing Web Service Composition Based on Performance Prediction
Detecting Anomalous Bus-Driving Behaviors from Trajectories
Interactive Fault Localization Using Test Information
SDL-TRAN - An interactive generator for formal description language SDL
Optimizing Multi-Dimensional Packet Classification for Multi-Core Systems
Allocating Bandwidth in Datacenter Networks: A Survey
The automatic generation of Chinese outline font based on stroke extraction
The Challenges of Multidisciplinary Education in Computer Science
A Probabilistic Framework for Temporal Cognitive Diagnosis in Online Learning Systems
A Practical Algorithm for the Minimum Rectilinear Steiner Tree
Design and Analysis of a Multiscale Active Queue Management Scheme
Performance Evaluation of Machine Learning Methods in Cultural Modeling
WNN-Based Network Security Situation Quantitative Prediction Method and Its Optimization
Finding Communities by Decomposing and Embedding Heterogeneous Information Network
Fast Multi-Operator Image Resizing and Evaluation
Protein Interactome Analysis for Countering Pathogen Drug Resistance
A Note on the Stopping Redundancy of Linear Codes
PDE Surface Generation with Combined Closed and Non-Closed Form Solutions
Guidelines for Creating a Rule-Based Knowledge Learning System and Their Application to a Chinese Business Card Layout Analysis
Indoor Uncertain Semantic Trajectory Similarity Join
A General Probability Formula of the Number of Location Areas' Boundaries Crossed by a Mobile Between Two Successive Call Arrivals
Chinese New Word Identification: A Latent Discriminative Model with Global Features
Testing Congruence for Mobile Processes
A Family of Stable Multipath Dual Congestion Control Algorithms
On the Discrete-Time Dynamics of Cross-Coupled Hebbian Algorithm
A fixpoint semantics for stratified databases
Covering-Based Routing Algorithms for Cyclic Content-Based P/S Overlays
Automatic 3D Shape Co-Segmentation Using Spectral Graph Method
Endurable SSD-Based Read Cache for Improving the Performance of Selective Restore from Deduplication Systems
A Fast Scalable Classifier Tightly Integrated with RDBMS
Discovering Cohesive Temporal Subgraphs with Temporal Density Aware Exploration
Retention Benefit Based Intelligent Cache Replacement
GDM: A New Graph Based Data Model Using Functional Abstractionx
Input-Trees of Finite Automata and Application to Cryptanalysis
CNB: A Critical-Network-Based Timing Optimization Method for Standard Cell Global Routing
Cooperative hypermedia editing with CoMEdiA
Optimally Embedding 3-Ary n-Cubes into Grids
Maintaining Discovered Frequent Itemsets: Cases for Changeable Database and Support
A Communication Theory Perspective on Prompting Engineering Methods for Large Language Models
Kernel-based semantic relation detection and classification via enriched parse tree structure
A Review-Based Reputation Evaluation Approach for Web Services
Targeted Local Immunization in Scale-Free Peer-to-Peer Networks
Nonterminating rewritings with head boundedness
Parameter Control of Genetic Algorithms by Learning and Simulation of Bayesian Networks - A Case Study for the Optimal Ordering of Tables
When Crowdsourcing Meets Data Markets: A Fair Data Value Metric for Data Trading
Combining Committee-Based Semi-Supervised Learning and Active Learning
Cross Project Defect Prediction via Balanced Distribution Adaptation Based Transfer Learning
Cryptanalysis of Achterbahn-Version 1 and -Version 2
2D Correlative-Chain Conditional Random Fields for Semantic Annotation of Web Objects
Modelling Spiking Neural Network from the Architecture Evaluation Perspective
OpenMDSP: Extending OpenMP to Program Multi-Core DSPs
Differential Evolution with Adaptive Mutation and Parameter Control Using Lévy Probability Distribution
Unilateral Control for Social Welfare of Iterated Game in Mobile Crowdsensing
Class based contextual logic for DOOD
Carbon-Aware Energy Cost Optimization of Data Analytics Across Geo-Distributed Data Centers
Decomposing Composite Changes for Code Review and Regression Test Selection in Evolving Software
Techniques for Determining the Geographic Location of IP Addresses in ISP Topology Measurement
A Novel Spatial Pooling Strategy for Image Quality Assessment
Polygonal Shape Blending with Topological Evolutions
Integer Programming Models for Computational Biology Problems
A Hybrid Set of Complexity Metrics for Large-Scale Object-Oriented Software Systems
Effect of Noisy Fitness in Real-Time Strategy Games Player Behaviour Optimisation Using Evolutionary Algorithms
Direct Model Checking Matrix Algorithm
Regular Disjunction-Free Default Theories
Symmetric Structure in Logic Programming
Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines
Managing Software Requirements Changes Based on Negotiation-Style Revision
Isomorphic transformations of uncertainties for incorporating EMYCIN-style and PROSPECTOR-style systems into a distributed expert system
Probabilistic Fault Diagnosis of Clustered Faults for Multiprocessor Systems
Improved Linear Cryptanalysis of CAST-256
A Dimensionality Reduction Framework for Detection of Multiscale Structure in Heterogeneous Networks
Domino Tiling: A New Method of Real-Time Conforming Mesh Construction for Rendering Changeable Height Fields
An invitation to friendly testing
On the expressive power of F-logic language
Run-Time Data-Flow Analysis
Enhanced Userspace and In-Kernel Trace Filtering for Production Systems
HXPY: A High-Performance Data Processing Package for Financial Time-Series Data
Balancing Frequencies and Fault Detection in the In-Parameter-Order Algorithm
Spherical Parameterization of Marching Cubes IsoSurfaces Based upon Nearest Neighbor Coordinates
Dynamic Fuzzy Controlled RWA Algorithm for IP/GMPLS over WDM Networks
Sensor Deployment and Relocation: A Unified Scheme
A Cost-Efficient Approach to Storing Users' Data for Online Social Networks
On Desideratum for B2C E-Commerce Reputation Systems
Data Management in Peer-to-Peer Environment: A Perspective of BestPeer
Speed up training of the recurrent neural network based on constrained optimization techniques
An Efficient Technique to Reverse Engineer Minterm Protection Based Camouflaged Circuit
Modeling Garment Seam from a Single Image
Performance Enhancement and Bandwidth Guarantee in IEEE 802.11 Wireless LANs
URECA: Efficient Resource Location Middleware for Ubiquitous Environment
Three-dimensional vector field visualization based on tensor decomposition
An Empirical Study on Automated Test Generation Tools for Java: Effectiveness and Challenges
Cooperative Answering of Fuzzy Queries
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts
Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model
Variables Bounding Based Retiming Algorithm
A Transformer-Assisted Cascade Learning Network for Choroidal Vessel Segmentation
Activity Diagram Synthesis Using Labelled Graphs and the Genetic Algorithm
A Multi-Channel Salience Based Detail Exaggeration Technique for 3D Relief Surfaces
A Lightweight Dynamic Enforcement of Privacy Protection for Android
NUAPC: A parallelizing compiler for C++
Efficient Simplification Methods for Generating High Quality LODs of 3D Meshes
A Novel Approach Towards Large Scale Cross-Media Retrieval
Some Results on the Minimal Coverings of Precomplete Classes in Partial k-Valued Logic Functions
Unified Parallel Systolic Multiplier Over GF (2 m )
Leakage-Aware Modulo Scheduling for Embedded VLIW Processors
Labeled Network Stack: A High-Concurrency and Low-Tail Latency Cloud Server Framework for Massive IoT Devices
Histogram-Based Estimation of Distribution Algorithm: A Competent Method for Continuous Optimization
Magic sets revisited
Spectral Animation Compression
Caging AI
H-Trust: A Group Trust Management System for Peer-to-Peer Desktop Grid
Configuration Reusing in On-Line Task Scheduling for Reconfigurable Computing Systems
The global properties of valid formulas in modal logic K
Improving Performance of Virtual Machine Covert Timing Channel Through Optimized Run-Length Encoding
Recent Progress on Selected Topics in Database Research - A Report by Nine Young Chinese Researchers Working in the United States
Clonal Strategy Algorithm Based on the Immune Memory
VPI: Vehicle Programming Interface for Vehicle Computing
A Cluster Based Feature Selection Method for Cross-Project Software Defect Prediction
A unified approach for developing efficient algorithmic programs
A Super-Resolution Method with EWA - Elliptical Weighted Average
A Test Approach for Look-Up Table Based FPGAs
Real-Time Texture Synthesis Using s-Tile Set
A Reprocessing Model for Complete Execution of RFID Access Operations on Tag Memory
Singularity Analysis of Geometric Constraint Systems
Process Calculi for describing distributed systems
A new integrated system of logic programming and relational database
An improved bottom-up method for implementing equational programming language
Metadata Feedback and Utilization for Data Deduplication Across WAN
Parsing with dynamic rule selection
On Test Data Compression Using Selective Don't-Care Identification
An O(k 2 n 2 ) algorithm to find a k -partition in a k -connected graph
Architecting Fault Tolerance with Exception Handling: Verification and Validation
Computing the K -terminal reliability for SONET self-healing rings
Element-Arrangement Context Network for Facade Parsing
Balancing Accuracy and Training Time in Federated Learning for Violence Detection in Surveillance Videos: A Study of Neural Network Architectures
A prototypical 3D graphical visualizer for object-oriented systems
ResCheckpointer: Building Program Error Resilience-Aware Checkpointing Mechanism for HPC Systems
Representing Topological Relationships Among Heterogeneous Geometry-Collection Features
Automatic Cage Building with Quadric Error Metrics
Logistic Weighted Profile-Based Bi-Random Walk for Exploring MiRNA-Disease Associations
SEPAL: A Consistency-Driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation
Quasi-Developable B-Spline Surface Design with Control Rulings
Extracting and Sharing Knowledge from Medical Texts
Automatic Colorization with Improved Spatial Coherence and Boundary Localization
Intent-Aware Graph-Level Embedding Learning Based Recommendation
Reliable communication on cube-based multicomputers
Exploiting Multiple Correlations Among Urban Regions for Crowd Flow Prediction
Delay and Capacity Trade-offs in Mobile Wireless Networks with Infrastructure Support
Towards a Denotational Semantics of Timed RSL Using Duration Calculus
Affinity-Based Network Interfaces for Efficient Communication on Multicore Architectures
CATIRI: An Efficient Method for Content-and-Text Based Image Retrieval
Using Syntactic-Based Kernels for Classifying Temporal Relations
Exploiting loop parallelism with redundant execution
Sequential Recommendation via Cross-Domain Novelty Seeking Trait Mining
Knowledge representation in KDD based on linguistic atoms
A Survey of Visual Analytics Techniques and Applications: State-of-the-Art Research and Future Challenges
AR: An Efficient Alliance Root Service with Decentralized Trust
Structure-Based Deadlock Checking of Asynchronous Circuits