yusuke1997/dblp-id-title huggingface dataset:
Multicast address management and connection control based on hierarchical autonomous structure
Physical Implementation of the 1GHz Godson-3 Quad-Core Microprocessor
Low-Complexity Bit-Parallel Multiplier over GF(2 m ) Using Dual Basis Representation
An Optimum Placement Search Algorithm Based on Extended Corner Block List
Reference Image Guided Super-Resolution via Progressive Channel Attention Networks
Performance of multicast communication on hypercubes
Robust Mesh Smoothing
A Fine-Grained Runtime Power/Performance Optimization Method for Processors with Adaptive Pipeline Depth
A Prefetch-Adaptive Intelligent Cache Replacement Policy Based on Machine Learning
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies
Combination of Qualitative Information with 2-Tuple Linguistic Representation in DSmT
Intuitionistic logic as the implement of incremental model construction for natural language
Color Image Super-Resolution and Enhancement with Inter-Channel Details at Trivial Cost
Diagnostic problem solving using first principles and heuristics
Automatic construction of finite algebras
A Non-Collision Hash Trie-Tree Based Fast IP Classification Algorithm
CHANN: A Hierarchical Neural Network for Clone Consistency Prediction
A Causal Model for Diagnostic Reasoning
Infrastructure-Free Floor Localization Through Crowdsourcing
Critical Success Factors to Improve the Game Development Process from a Developer's Perspective
Accurate Robotic Grasp Detection with Angular Label Smoothing
Applying virtual reality to molecular graphics system
Low Power State Assignment Algorithm for FSMs Considering Peak Current Optimization
Personalized Privacy-Preserving Routing Mechanism Design in Payment Channel Network
Some Issues on Computer Networks: Architecture and Key Technologies
WATuning: A Workload-Aware Tuning System with Attention-Based Deep Reinforcement Learning
A Posteriori Approach for Community Detection
3D Point Cloud Matching Based Selfie Generation for Chang'e-5
Leveraging Document-Level and Query-Level Passage Cumulative Gain for Document Ranking
Architectural Design of a Cloud Robotic System for Upper-Limb Rehabilitation with Multimodal Interaction
A Formal Software Development Approach Using Refinement Calculus
Active Store Window: Enabling Far Store-Load Forwarding with Scalability and Complexity-Efficiency
A multiagent dynamic interaction testbed: Theoretic framework, system architecture and experimentation
A Survey of Dynamic Software Metrics
Concept Framework for Audio Information Retrieval: ARF
Wavelet Energy Feature Extraction and Matching for Palmprint Recognition
Age-of-Information-Aware Federated Learning
Erratum to: CA-DTS: A Distributed and Collaborative Task Scheduling Algorithm for Edge Computing Enabled Intelligent Road Network
Intelligent Visual Media Processing: When Graphics Meets Vision
Graph Accelerators - A Case for Sparse Data Processing
Heart Rate Extraction from Vowel Speech Signals
Language Adaptation for Entity Relation Classification via Adversarial Neural Networks
Distributing and Scheduling Divisible Task on Parallel Communicating Processors
Simply-typed underdeterminism
Improving the Performance and Energy Efficiency of Phase Change Memory Systems
Parallel execution of prolog on shared-memory multiprocessors
A Novel Multiple-Valued CMOS Flip-Flop Employing Multiple-Valued Clock
Default Reasoning and Belief Revision: A Syntax-Independent Approach
ICTSSE: An object-oriented IC test software supporting environment
Model Checking for Probabilistic Multiagent Systems
Higher-Level Hardware Synthesis of the KASUMI Algorithm
Modeling and Analysis of Mesh Tree Hybrid Power/Ground Networks with Multiple Voltage Supply in Time Domain
Modeling a Dynamic Data Replication Strategy to Increase System Availability in Cloud Computing Environments
Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods
Further Improvement on Dynamic Programming for Optimal Bit Allocation
A Programmable Approach to Maintenance of a Finite Knowledge Base
Evaluation and Choice of Various Branch Predictors for Low-Power Embedded Processor
Implementation of Java Card Virtual Machine
Estimating Subdivision Depth of Catmull-Clark Surfaces
Minimizing the Discrepancy Between Source and Target Domains by Learning Adapting Components
Binary-Coding-Based Ant Colony Optimization and Its Convergence
TangiWheel: A Widget for Manipulating Collections on Tabletop Displays Supporting Hybrid Input Modality
Multi-Person Respiration Monitoring Leveraging Commodity Wi-Fi Devices
An Online Algorithm Based on Replication for Using Spot Instances in IaaS Clouds
A Secure Scalar Product Protocol Against Malicious Adversaries
Free-Form Deformation with Rational DMS-Spline Volumes
A New Algorithm for Generalized Optimal Discriminant Vectors
Tableau systems for paraconsistency and minimal inconsistency
SplitPass: A Mutually Distrusting Two-Party Password Manager
A GPU-Accelerated In-Memory Metadata Management Scheme for Large-Scale Parallel File Systems
Improving BERT Fine-Tuning via Self-Ensemble and Self-Distillation
Low Complexity Integer Transform and Adaptive Quantization Optimization
An Ontology-Based Framework for Semi-Automatic Schema Integration
OOMMS: A module management system based on an object-oriented model
Short-time scaling of variable ordering of OBDDs
Partition-Based Online Aggregation with Shared Sampling in the Cloud
Free Appearance-Editing with Improved Poisson Image Cloning
Orthogonal drawings of graphs for the automation of VLSI circuit design
The intelligent CAI system for chemistry based on automated reasoning
Approximation Designs for Energy Harvesting Relay Deployment in Wireless Sensor Networks
A New Technique for Digital Image Watermarking
Element-partition-based methods for visualization of 3D unstructured grid data
Reference implementation of scalable I/O low-level API on Intel Paragon
Improving Shape from Shading with Interactive Tabu Search
Heuristic Search with Cut Point Based Strategy for Critical Node Problem
An Effective Semantic Cache for Exploiting XPath Query/View Answerability
Defocus Hyperspectral Image Deblurring with Adaptive Reference Image and Scale Map
Unified Probabilistic Models for Face Recognition from a Single Example Image per Person
Multilevel Optimization for Large-Scale Hierarchical FPGA Placement
Innovating Web Page Classification Through Reducing Noise
Federated Class-Incremental Learning with New-Class Augmented Self-Distillation
Design and implementation of a concurrency control mechanism in an object-oriented database system
An improvement of GNY logic for the reflection attacks
Efficient Location Updates for Continuous Queries over Moving Objects
Mining Semantic Trajectory Patterns from Geo-Tagged Data
Model Checking Data Consistency for Cache Coherence Protocols
Asynchronous heterogeneous mechanism for hyper-distributed hyper-parallel AI processing
TOAST: Automated Testing of Object Transformers in Dynamic Software Updates
Outage Analysis of Opportunistic Cooperative Ad Hoc Networks with Randomly Located Nodes
Wavelet Based Image Authentication and Recovery
Document analysis by crosscount approach
Indexing Future Trajectories of Moving Objects in a Constrained Network
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups
Clustering DTDs: An Interactive Two-Level Approach
Thermal-Aware Post Layout Voltage-Island Generation for 3D ICs
Software Agent with Reinforcement Learning Approach for Medical Image Segmentation
A Survey of Recent Advances in Generative 3D Reconstruction
Composed scattering model for direct volume rendering
PetroKG: Construction and Application of Knowledge Graph in Upstream Area of PetroChina
C 2 -( C 3 -) continuous interpolation spline curve and surface
Verifying Functions in Online Stock Trading Systems
Reflection and Refraction on Implicit Surfaces
A Locating Method for Reliability-Critical Gates with a Parallel-Structured Genetic Algorithm
Algorithm Based on Taboo Search and Shifting Bottleneck for Job Shop Scheduling
Secure Application-Aware Service Differentiation in Public Area Wireless Networks
Hierarchical Structures on Multigranulation Spaces
2k-Vertex Kernels for Cluster Deletion and Strong Triadic Closure
A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation
An Efficient Reinforcement Learning Game Framework for UAV-Enabled Wireless Sensor Network Data Collection
GAEBic: A Novel Biclustering Analysis Method for miRNA-Targeted Gene Data Based on Graph Autoencoder
A Multi-Threaded Semantic Focused Crawler
Cryptanalysis of a Type of CRT-Based RSA Algorithms
Optimizing Parallel S n Sweeps on Unstructured Grids for Multi-Core Clusters
Extended Approach to Water Flow Algorithm for Text Line Segmentation
Incremental Maintenance of Quotient Cube Based on Galois Lattice.
Exponential Fuzzy C-Means for Collaborative Filtering
Constructing Edge-Colored Graph for Heterogeneous Networks
Geometric Properties of Ribs and Fans of a Bézier Curve
Neural Emotion Detection via Personal Attributes
A Mixed-Mode BIST Scheme Based on Folding Compression
Scalable and Adaptive Joins for Trajectory Data in Distributed Stream System
LLMP: Exploiting LLDP for Latency Measurement in Software-Defined Data Center Networks
RNA Structural Homology Search with a Succinct Stochastic Grammar Model
Reducing the Upper Bound Delay by Optimizing Bank-to-Core Mapping
Multi-Scale Adaptive Large Kernel Graph Convolutional Network for Skeleton-Based Action Recognition
Volumetric Virtual Environments
Test-Data Generation Guided by Static Defect Detection
Accelerated Backward Warping
Leapfrog: Optimal Opportunistic Routing in Probabilistically Contacted Delay Tolerant Networks
Head Tracking Using Shapes and Adaptive Color Histograms
Comparative Study of Two Flow Control Mechanisms in High Speed Networks
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL
A New Approach to Pointer Analysis for Assignments
Scalable and Privacy-Preserving Data Sharing Based on Blockchain
Multi-Task Visual Semantic Embedding Network for Image-Text Retrieval
A fault-tolerant and heuristic routing algorithm for faulty hypercubes
Representation of Urban Buildings Using Modified Relief Mapping
Simulation of ATPG neural network and its experimental results
Related-Key Impossible Differential Attack on Reduced-Round LBlock
Indexing Techniques of Distributed Ordered Tables: A Survey and Analysis
A Framed Temporal Logic Programming Language
Compact Differential Evolution Light: High Performance Despite Limited Memory Requirement and Modest Computational Overhead
PCRTAM-Net: A Novel Pre-Activated Convolution Residual and Triple Attention Mechanism Network for Retinal Vessel Segmentation
A Large Chinese Text Dataset in the Wild
Model for Slicing JAVA Programs Hierarchically
Structure-Aware Nonlocal Optimization Framework for Image Colorization
Extrapolating acceleration algorithms for finding B-Spline intersections using recursive subdivision techniques
Power Supply Noise Aware Task Scheduling on Homogeneous 3D MPSoCs Considering the Thermal Constraint
Stroke Style Analysis for Painterly Rendering
Multi-Dimensional Scheduling for Real-Time Tasks on Heterogeneous Clusters
Belief revision by sets of sentences
Quantitative QoS Management Implement Mechanism in IP-DiffServ
Research on Next-Generation Internet Architecture
Relationship Between a Non-Malleable Commitment Scheme and a Modified Selective Decommitment Scheme
Revisiting the Meaning of Requirements
Fault-Tolerant Routing Under Conditional Fault Pattern in Data Center Network of RRect
An Efficient Optimization Procedure for Tetrahedral Meshes by Chaos Search Algorithm
Another definition of order-sorted algebra
iBole: A Hybrid Multi-Layer Architecture for Doctor Recommendation in Medical Social Networks
New Semantic Model for Authentication Protocols in ASMs
Computation on Sentence Semantic Distance for Novelty Detection
Some Algorithmic Challenges in Genome-Wide Ortholog Assignment
Unified UDispatch: A User Dispatching Tool for Multicore Systems
Dominant Skyline Query Processing over Multiple Time Series
An assignment method for IPUs in distributed systems
Two-Stream Temporal Convolutional Networks for Skeleton-Based Human Action Recognition
Single Image Deraining Using Residual Channel Attention Networks
A practical propositional knowledge base revision algorithm
Approach to the Correlation Discovery of Chinese Linguistic Parameters Based on Bayesian Method
Universal abstract consistency class and universal refutation
Constructing isosurfaces from 3D data sets taking account of depth sorting of polyhedra
Composing Like an Ancient Chinese Poet: Learn to Generate Rhythmic Chinese Poetry
Knowledge-Enhanced Conversational Agents
Optimal Bandwidth Utilization of All-Optical Ring with a Converter of Degree 4
Delay-Constrained Optimized Packet Aggregation in High-Speed Wireless Networks
O2iJoin: An Efficient Index-Based Algorithm for Overlap Interval Join
Optimistic Voting for Managing Replicated Data
Learning Human-Written Commit Messages to Document Code Changes
Second Attribute Algorithm Based on Tree Expression
Formal derivation of graph algorithmic programs using partition-and-recur
DCF+: An Enhancement for Reliable Transport Protocol over WLAN
Deep Multimodal Reinforcement Network with Contextually Guided Recurrent Attention for Image Question Answering
An Efficient Approach for Mitigating Covert Storage Channel Attacks in Virtual Machines by the Anti-Detection Criterion
New Color Constancy Model for Machine Vision
A New Protocol for the Detection of Node Replication Attacks in Mobile Wireless Sensor Networks
Communicating Is Crowdsourcing: Wi-Fi Indoor Localization with CSI-Based Speed Estimation
Complete Multiple Description Mesh-Based Video Coding Scheme and Its Performance
Privacy-Preserving Data Sharing in Cloud Computing
SAGA: Summarization-Guided Assert Statement Generation
Progress and Challenges in High Performance Computer Technology
FDGLib: A Communication Library for Efficient Large-Scale Graph Processing in FPGA-Accelerated Data Centers
Learning Local Contrast for Crisp Edge Detection
A Robust and Fast Non-Local Means Algorithm for Image Denoising
Verification of Real Time Operating System Exception Management Based on SPARCv8
Querying Big Data: Bridging Theory and Practice
The Faster Higher-Order Cellular Automaton for Hyper-Parallel Undistorted Data Compression
A Novel Web Video Event Mining Framework with the Integration of Correlation and Co-Occurrence Information
Phase semantics for a pure noncommutative linear propositional logic
A Clustering Algorithm for Planning the Integration Process of a Large Number of Conceptual Schemas
A United Framework for Large-Scale Resource Description Framework Stream Processing
From Popularity to Personality - A Heuristic Music Recommendation Method for Niche Market
YHFT-QDSP: High-Performance Heterogeneous Multi-Core DSP
Verification of Duration Systems Using an Approximation Approach
Extracting Local Schema from Semistructured Data Based on Graph-Oriented Semantic Model
Theory and practice of the stereo-view on the CRT screen
Generalized resolution and NC-resolution
Dynamic Data Prefetching in Home-Based Software DSMs
Process Algebra Approach to Reasoning About Concurrent Actions
ATLRec: An Attentional Adversarial Transfer Learning Network for Cross-Domain Recommendation
Who Blocks Who: Simultaneous Segmentation of Occluded Objects
Behavior Relativity of Petri Nets
Activity Recognition Based on RFID Object Usage for Smart Mobile Devices
Collaborative Matrix Factorization with Soft Regularization for Drug-Target Interaction Prediction
Combining KNN with AutoEncoder for Outlier Detection
Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension
Technical Perspective: Research on General-Purpose Brain-Inspired Computing Systems
Expansion nets and expansion processes of elementary net systems
Bug Prioritization to Facilitate Bug Report Triage
Automatic Mesh Generation on a Regular Background Grid
A Survey on Silicon PUFs and Recent Advances in Ring Oscillator PUFs
ConfDTree: A Statistical Method for Improving Decision Trees
Joint Participant Selection and Learning Optimization for Federated Learning of Multiple Models in Edge Cloud
Investigation on Key Technologies in Large-Scale MIMO
Efficient Mining of Frequent Closed XML Query Pattern
CoreDevRec: Automatic Core Member Recommendation for Contribution Evaluation
CBSC: A Crowdsensing System for Automatic Calibrating of Barometers
Better-Than-Worst-Case Design: Progress and Opportunities
A general scheme for formalizing defaults using the predicate ab(I, S)
Two new strategies for developing loop invariants and their applications
Edge Computing Based Applications in Vehicular Environments: Comparative Study and Main Issues
Budget Allocation for Maximizing Viral Advertising in Social Networks
An Enhanced Drawing Reproduction Graphical Password Strategy
Erratum to A framed temporal logic programming language
Relative properties of frame language
A Survey on the Moving Target Defense Strategies: An Architectural Perspective
Distributed Coordinator Election Scheme for QoS Support and Seamless Connectivity in WPANs
Advanced Cross-Graph Cycle Attention Model for Dissecting Complex Structures in Mass Spectrometry Imaging
Lazy Slicing for State-Space Exploration
Model Checking Real-Time Value-Passing Systems
ArchSim: A System-Level Parallel Simulation Platform for the Architecture Design of High Performance Computer
A Gradient-Domain Based Geometry Processing Framework for Point Clouds
A method for minimization design of two-level logic networks using multiplexer universal logic modules
Hardware Acceleration for SLAM in Mobile Systems
EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software
Trip Oriented Search on Activity Trajectory
CRAIS: A Crossbar-Based Interconnection Scheme on FPGA for Big Data
Complete Proof Systems for Amortised Probabilistic Bisimulations
SMEC: Scene Mining for E-Commerce
A Non-Forced-Write Atomic Commit Protocol for Cluster File Systems
A Survey on Expert Recommendation in Community Question Answering
Dynamic Retransmission Control for Reliable Mobile Multicast
Impacts of Dirty Data on Classification and Clustering Models: An Experimental Evaluation
Learn Robust Pedestrian Representation Within Minimal Modality Discrepancy for Visible-Infrared Person Re-Identification
Towards Risk Evaluation of Denial-of-Service Vulnerabilities in Security Protocols
Efficient Optimization of Multiple Subspace Skyline Queries
Objectness Region Enhancement Networks for Scene Parsing
LWCM: A Lookahead-Window Constrained Model for Disk Failure Prediction in Large Data Centers
Space-Time Coding and Signal Processing for MIMO Communications
3D Motion estimation and motion fusion by affine region matching
RPE Query Processing and Optimization Techniques for XML Databases
More Requests, Less Cost: Uncertain Inter-Datacenter Traffic Transmission with Multi-Tier Pricing
Exact Computation of the Topology and Geometric Invariants of the Voronoi Diagram of Spheres in 3D
On the Expressive Power of Logics on Constraint Databases with Complex Objects
A Revisit of Shape Editing Techniques: From the Geometric to the Neural Viewpoint
A multi-view face recognition system
A New Approach to Multivariate Network Traffic Analysis
Toward the Optimal Configuration of Dynamic Voltage Scaling Points in Real-Time Applications
Blending Parametric Patches with Subdivision Surfaces
Approximation Algorithm for Bottleneck Steiner Tree Problem in the Euclidean Plane
Design rationale for a wide spectrum specification language FGSPEC
Generating Combinations by Three Basic Operations
Quantitative Adaptive RED in Differentiated Service Networks
Envy-Free Pricing with General Supply Constraints for Unit Demand Consumers
A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States
CoEdPilot: Interactively Recommending Project-Wise Code Edits
A Distributed Mechanism for Handling of Adaptive/Intelligent Selfish Misbehaviour at MAC Layer in Mobile Ad Hoc Networks
Mining Trust Relationships from Online Social Networks
SEIP: System for Efficient Image Processing on Distributed Platform
A Novel Approach to Revealing Positive and Negative Co-Regulated Genes
Constraints on Extensions of a Default Theory
PCBA: A Priority-Based Competitive Broadcasting Algorithm in Mobile Ad Hoc Networks
New Model and Algorithm for Hardware/Software Partitioning
Making Slide Shows with Zoomquilts
Variance Analysis and Adaptive Sampling for Indirect Light Path Reuse
A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs
Quasi Delay-Insensitive High Speed Two-Phase Protocol Asynchronous Wrapper for Network on Chips
Improvement of Performance of MegaBlast Algorithm for DNA Sequence Alignment
Greylevel Difference Classification Algorithm in Fractal Image Compression
TLP-LDPC: Three-Level Parallel FPGA Architecture for Fast Prototyping of LDPC Decoder Using High-Level Synthesis
Serendipity in Recommender Systems: A Systematic Literature Review
BenchIP: Benchmarking Intelligence Processors
Parallel Error Detection for Leading Zero Anticipation
Beyond Knowledge Engineering
Forecasting the Efficiency of Test Generation Algorithms for Combinational Circuits
A knowledge-based specification technique for protocol development
Pattern Matching with Flexible Wildcards
A Resource-Efficient Communication Architecture for Chip Multiprocessors on FPGAs
Blending Canal Surfaces Based on PH Curves
The RTL binding and mapping approach of VHDL High-level synthesis system HLS/BIT
A New Line Symmetry Distance and Its Application to Data Clustering
Semi-Supervised Classification of Data Streams by BIRCH Ensemble and Local Structure Mapping
Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System
Minimizing ADMs on WDM Directed Fiber Trees
3D Morphing Using Strain Field Interpolation
The generation of a sort of fractal graphs
Progress in the Development of National Knowledge Infrastructure
A Novel Hardware/Software Partitioning Method Based on Position Disturbed Particle Swarm Optimization with Invasive Weed Optimization
Measuring Class Cohesion Based on Dependence Analysis
Sparse Support Vector Machine with L p Penalty for Feature Selection
An analytical delay model
ROAD+: Route Optimization with Additional Destination-Information and Its Mobility Management in Mobile Networks
A formal semantics for DAI language NUML
Approximate Similarity-Aware Compression for Non-Volatile Main Memory
From Anywhere to the Destination: Visual Reinforcement Learning for GNSS-Denied Drone Navigation
QoS-TEOS: QoS Guaranteed Throughput-Efficiency Optimal Distributed Scheduling in WiMAX Mesh Networks
Towards Defense Against Adversarial Attacks on Graph Neural Networks via Calibrated Co-Training
Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions
A Configurable Circuit for Cross-Correlation in Real-Time Image Matching
Bounded recursively enumerable sets and degrees
Spam Short Messages Detection via Mining Social Networks
Progress in Computational Complexity Theory
TCP Issues in Mobile Ad Hoc Networks: Challenges and Solutions
The impact of self-similar traffic on network delay
HCH for Checking Containment of XPath Fragment
Facebook and Tencent Data Fit a Cube Law Better than Metcalfe's Law
SRF Coloring: Stream Register File Allocation via Graph Coloring
Robust Visual Tracking Based on Convolutional Features with Illumination and Occlusion Handing
A Puzzle-Based Genetic Algorithm with Block Mining and Recombination Heuristic for the Traveling Salesman Problem
Practical Secret Sharing Scheme Realizing Generalized Adversary Structure
A New Batch Verifying Scheme for Identifying Illegal Signatures
Approaches for Scaling DBSCAN Algorithm to Large Spatial Databases
Efficient Set-Correlation Operator Inside Databases
Some Indices of Alphabet Overlap Graph
An Improved Error Handling Method in SNMPv2 Protocol Operations
Impossible Differential Attacks on 13-Round CLEFIA-128
Intelligent Development Environment and Software Knowledge Graph