yusuke1997/dblp-id-title huggingface dataset:
A Survey on Performance Optimization of High-Level Synthesis Tools
An Optimization Technique for PMF Estimation in Approximate Circuits
Multi-Scale Salient Features for Analyzing 3D Shapes
An Intuitive Formal Proof for Deadline Driven Scheduler
Influences of Gate Operation Errors in the Quantum Counting Algorithm
Lessons Learned from Optimizing the Sunway Storage System for Higher Application I/O Performance
New Challenges for Biological Text-Mining in the Next Decade
A New Revocable and Re-Delegable Proxy Signature and Its Application
Search Result Diversification Based on Query Facets
Attack on Digital Multi-Signature Scheme Based on Elliptic Curve Cryptosystem
Efficient realization of frequently used bijections on cube-connected cycles
Algorithms for Handoff Minimization in Wireless Networks
Write-Optimized B + Tree Index Technology for Persistent Memory
Channel Aware Opportunistic Routing in Multi-Radio Multi-Channel Wireless Mesh Networks
Balanced Quantization: An Effective and Efficient Approach to Quantized Neural Networks
Construction of Feature-Matching Perception in Virtual Assembly
Limited Multiple-Writer: An Approach to Dealing with False Sharing in Software DSMs
Logical object as a basis of knowledge based systems
Understanding Sybil Groups in the Wild
Scheduling Algorithms Based on Weakly Hard Real-Time Constraints
EAFoC: Enterprise Architecture Framework Based on Commonality
Maximizing Networking Capacity in Multi-Channel Multi-Radio Wireless Networks
Fast Algorithms for Revision of Some Special Propositional Knowledge Bases
HilAnchor: Location Privacy Protection in the Presence of Users' Preferences
Constraint-Based Virtual Solid Modeling
Experiments and Analyses of Anonymization Mechanisms for Trajectory Data Publishing
A Geometric Approach for Multi-Degree Spline
Enlarging Image by Constrained Least Square Approach with Shape Preserving
Space Efficient Quantization for Deep Convolutional Neural Networks
Design and Performance Evaluation of Sequence Partition Algorithms
An image-based virtual reality prototype system
Cluster-Based Nearest-Neighbour Classifier and Its Application on the Lightning Classification
The supervised learning Gaussian mixture model
Fuzzy logic control ASIC chip
Enhancing N-Gram Based Metrics with Semantics for Better Evaluation of Abstractive Text Summarization
QoS-Aware Composite Services Retrieval
Bridging Real World Semantics to Model World Semantics for Taxonomy Based Knowledge Representation System
Threshold-Based Shortest Path Query over Large Correlated Uncertain Graphs
A Class of Key Predistribution Schemes Based on Orthogonal Arrays
Topology in process calculus (I): Limit behaviour of agents
Weak precedence story parsing grammar
Measuring Structural Quality of Object-Oriented Softwares via Bug Propagation Analysis on Weighted Software Networks
Introduction to AVS Audio
SimK: A Large-Scale Parallel Simulation Engine
Reevaluating Data Stall Time with the Consideration of Data Access Concurrency
A Site-Based Proxy Cache
The Paradigm of Power Bounded High-Performance Computing
Facial Expression Recognition of Various Internal States via Manifold Learning
SinGRAV: Learning a Generative Radiance Volume from a Single Natural Scene
A topology designing system for a computer network
oodOPT: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture
Speech Detection in Non-Stationary Noise Based on the 1/f Process
Autonomic Performance and Power Control on Virtualized Servers: Survey, Practices, and Trends
Motion-Inspired Real-Time Garment Synthesis with Temporal-Consistency
Minimal model semantics for sorted constraint representation
Byte Frequency Based Indicators for Crypto-Ransomware Detection from Empirical Analysis
AbIx: An Approach to Content-Based Approximate Query Processing in Peer-to-Peer Data Systems
A Unified Buffering Management with Set Divisible Cache for PCM Main Memory
Incremental User Identification Across Social Networks Based on User-Guider Similarity Index
Orthogonal Methods Based Ant Colony Search for Solving Continuous Optimization Problems
Differentials-Based Segmentation and Parameterization for Point-Sampled Surfaces
CoC: A Unified Distributed Ledger Based Supply Chain Management System
Design-Rule-Aware Congestion Model with Explicit Modeling of Vias and Local Pin Access Paths
Analyzing the Simple Ranking and Selection Process for Constrained Evolutionary Optimization
Tightly Secure Public-Key Cryptographic Schemes from One-More Assumptions
Continually Answering Constraint k - NN Queries in Unstructured P2P Systems
Path-Based Multicast Routing for Network-on-Chip of the Neuromorphic Processor
Automatic Target Description File Generation
Building case-based preliminary design systems: A Hopfield network approach
Conjugate-Gradient Progressive-Iterative Approximation for Loop and Catmull-Clark Subdivision Surface Interpolation
Automatic Transaction Compensation for Reliable Grid Applications
A simplified model for generating 3D realistic sound in the multimedia and virtual reality systems
Real-Time Underwater Image Enhancement Using Adaptive Full-Scale Retinex
A Survey on Task and Participant Matching in Mobile Crowd Sensing
A Task Allocation Method for Stream Processing with Recovery Latency Constraint
Simple Reconstruction of Tree Branches from a Single Range Image
Crosstalk-Aware Routing Resource Assignment
Searching for an Intuitive Metric for Scalable Internet of Things
Social Network-Aware Interfaces as Facilitators of Innovation
Hybridity in embedded computing systems
Infomarker - A New Internet Information Service System
A Survey and Experimental Review on Data Distribution Strategies for Parallel Spatial Clustering Algorithms
3D Object Tracking with Adaptively Weighted Local Bundles
k-Nearest Neighbor Query Processing Algorithms for a Query Region in Road Networks
Computational Challenges in Characterization of Bacteria and Bacteria-Host Interactions Based on Genomic Data
Exploiting the Community Structure of Fraudulent Keywords for Fraud Detection in Web Search
Skeleton-Sectional Structural Analysis for 3D Printing
Semantic Role Labeling of Chinese Nominal Predicates with Dependency-Driven Constituent Parse Tree Structure
Chinese Named Entity Recognition Augmented with Lexicon Memory
A New Dynamical Evolutionary Algorithm Based on Statistical Mechanics
Tag-Aware Recommender Systems: A State-of-the-Art Survey
Dynamic Uncertain Causality Graph for Knowledge Representation and Reasoning: Discrete DAG Cases
Random Walk Routing in WSNs with Regular Topologies
A constructor-based EI-model semantics of EI-CTRS
A Survey on Blocking Technology of Entity Resolution
Semantic Interoperability Aggregation in Service Requirements Refinement
Secure Speculation via Speculative Secret Flow Tracking
Reduction Algorithms Based on Discernibility Matrix: The Ordered Attributes Method
A Grid Middleware for Distributed Java Computing with MPI Binding and Process Migration Supports
Minimum Epsilon-Kernel Computation for Large-Scale Data Processing
Enhancing Storage Efficiency and Performance: A Survey of Data Partitioning Techniques
DEAM: Decoupled, Expressive, Area-Efficient Metadata Cache
Improving Web Document Clustering through Employing User-Related Tag Expansion Techniques
Using timed Petri net to model instruction-level loop scheduling with resource constraints
Improving Parameter Estimation and Defensive Ability of Latent Dirichlet Allocation Model Training Under Rényi Differential Privacy
Interprocedural constant range propagation and alias analysis by multiple version method
Visual Simulation of Multiple Unmixable Fluids
Structures definable in polymorphism
Composite Distance Transformation for Indexing and k -Nearest-Neighbor Searching in High-Dimensional Spaces
Hierarchical Clustering of Complex Symbolic Data and Application for Emitter Identification
Power Adjusting Algorithm: A New Cross-Layer Power Saving Mechanism for Mobile Ad-Hoc Networks
Assessing Diagnosis Approaches for Wireless Sensor Networks: Concepts and Analysis
An Improved Algorithm for Finding the Closest Pair of Points
A Fast Block-Matching Algorithm Using Smooth Motion Vector Field Adaptive Search Technique
Phrase-Level Sentiment Polarity Classification Using Rule-Based Typed Dependencies and Additional Complex Phrases Consideration
Stochastic Variational Inference-Based Parallel and Online Supervised Topic Model for Large-Scale Text Processing
Computational Approaches for Traditional Chinese Painting: From the "Six Principles of Painting" Perspective
A formal approach to protocol performance testing
Hyper-Distributed Hyper-Parallel Self-Organizing Dynamic Scheduling Based on Solitary Wave
Revisiting Multiple Pattern Matching Algorithms for Multi-Core Architecture
Agent Cooperation Based Control Integration by Activity-Sharing and Joint Intention
Advanced geometric modeler with hybrid representation
Multidimensional Projections for Visual Analysis of Social Networks
Geometry Texture Synthesis Based on Laplacian Texture Image
A Multi-Key Pirate Decoder Against Traitor Tracing Schemes
Gradient-Based Approach for Fine Registration of Panorama Images
Layered Textures for Image-Based Rendering
CSWL: Cross-SSD Wear-Leveling Method in SSD-Based RAID Systems for System Endurance and Performance
Query Performance Prediction for Information Retrieval Based on Covering Topic Score
Breaking and Repairing Trapdoor-Free Group Signature Schemes from Asiacrypt'2004
Chinese TrueType font support in X window
Diagnosis of COVID-19 Pneumonia via a Novel Deep Learning Architecture
Coverage-Based Fault Localization in Haskell
FDNet: A Deep Learning Approach with Two Parallel Cross Encoding Pathways for Precipitation Nowcasting
Accumulative Time Based Ranking Method to Reputation Evaluation in Information Networks
POTENTIAL: A Highly Adaptive Core of Parallel Database System
Evaluating RISC-V Vector Instruction Set Architecture Extension with Computer Vision Workloads
View creation for queries in object oriented databases
A New Retrieval Model Based on TextTiling for Document Similarity Search
Algebraic Conditions for Classifying the Positional Relationships Between Two Conics and Their Applications
Parallel Incremental Frequent Itemset Mining for Large Data
A Geometry-Based Point Cloud Reduction Method for Mobile Augmented Reality System
Parallel algorithm design on some distributed systems
Single View Based Measurement on Space Planes
Enriching Context Information for Entity Linking with Web Data
Learning a Mixture of Conditional Gating Blocks for Visual Question Answering
Distributed Game-Theoretical D2D-Enabled Task Offloading in Mobile Edge Computing
FuHsi: Shifting Base-Calling Closer to Sequencer via In-Cache Acceleration
Completeness of the accumulation calculus
From Concepts to Consistent Object Specifications: Translation of a Domain-Oriented Feature Framework into Practice
Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts
A Reduction Algorithm Meeting Users' Requirements
A Case for Adaptive Resource Management in Alibaba Datacenter Using Neural Networks
Physical Implementation of the Eight-Core Godson-3B Microprocessor
A surface rendering approach in 3D rectilinear datafield
New heuristic distributed parallel algorithms for searching and planning
The Distributed Workflow Management System - FlowAgent
Hardware-Software Collaborative Techniques for Runtime Profiling and Phase Transition Detection
Apollo: Rapidly Picking the Optimal Cloud Configurations for Big Data Analytics Using a Data-Driven Approach
Intent-Slot Correlation Modeling for Joint Intent Prediction and Slot Filling
Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving
A reasoning mechanism for deductive object-oriented databases
Accurate and Simplified Prediction of AVF for Delay and Energy Efficient Cache Design
High Level Synthesis for Loop-Based BIST
Software Defect Detection with Rocus
DKBLM - Deep knowledge based learning methodology
Guided Structure-Aware Review Summarization
Ad Hoc File Systems for High-Performance Computing
A Comprehensive Pipeline for Complex Text-to-Image Synthesis
Sequential Cooperative Distillation for Imbalanced Multi-Task Learning
Experience Availability: Tail-Latency Oriented Availability in Software-Defined Cloud Computing
Community Detection in Dynamic Social Networks Based on Multiobjective Immune Algorithm
Fair Electronic Cash Based on Double Signatur
AquaSee: Predict Load and Cooling System Faults of Supercomputers Using Chilled Water Data
Local Community Detection Using Link Similarity
Accurate Approximation of the Earth Mover's Distance in Linear Time
A General Sufficient Condition of Four Positive Solutions of the P3P Problem
A Semantics-Based Approach for Achieving Self Fault-Tolerance of Protocols
Predicate µ-Calculus for Mobile Ambients
SDPG: Spatial Data Processing Grid
Improving Data Utility Through Game Theory in Personalized Differential Privacy
Issues in the Reconstruction of Gene Order Evolution
Efficient Partitioning Method for Optimizing the Compression on Array Data
On the relationship between TMS and logic programs
A Combinational Perspective in Stimulating Cooperation in Mobile Ad Hoc Networks
Incorporating Linguistic Structure into Maximum Entropy Language Models
Designing Motion Gesture Interfaces in Mobile Phones for Blind People
Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party
Design and Implementation of the Tianhe-2 Data Storage and Management System
COLIN: A Cache-Conscious Dynamic Learned Index with High Read/Write Performance
Deploy Efficiency Driven k-Barrier Construction Scheme Based on Target Circle in Directional Sensor Network
Detecting Duplicate Contributions in Pull-Based Model Combining Textual and Change Similarities
Technical decisions on several key problems in VHDL high level synthesis system
ACO-Steiner: Ant Colony Optimization Based Rectilinear Steiner Minimal Tree Algorithm
Effective Object Identification and Association by Varying Coverage Through RFID Power Control
Protect You More Than Blank: Anti-Learning Sensitive User Information in the Social Networks
Novel Probabilistic and Machine Learning Approaches for the Protein Scaffold Gap Filling Problem
A Rejection Model Based on Multi-Layer Perceptrons for Mandarin Digit Recognition
Attribute-Based Signature with Policy-and-Endorsement Mechanism
Checking Timed Automata for Linear Duration Properties
A Generic Framework for Anonymous Authentication in Mobile Networks
Multiple Hypergraph Clustering of Web Images by MiningWord2Image Correlations
Reliability and Incentive of Performance Assessment for Decentralized Clouds
Approximate Processing Element Design and Analysis for the Implementation of CNN Accelerators
ovAFLow: Detecting Memory Corruption Bugs with Fuzzing-Based Taint Inference
LinuxDirector: A Connection Director for Scalable Internet Services
A Survey on 360° Images and Videos in Mixed Reality: Algorithms and Applications
CPL: Detecting Protein Complexes by Propagating Labels on Protein-Protein Interaction Network
Usability Issues of Grid System Software
Dependent type system with subtyping (I) type level transitivity elimination
The Memory-Bounded Speedup Model and Its Impacts in Computing
Parallel Turing Machine, a Proposal
Madet - A machine-description table based instruction scheduler in TH-RISC for exploiting instruction level parallelism
Scaling out NUMA-Aware Applications with RDMA-Based Distributed Shared Memory
A Constraint Satisfaction Neural Network and Heuristic Combined Approach for Concurrent Activities Scheduling
The Number of Independent Kruppa Constraints from N Images
HarkMan - A vocabulary-independent keyword spotter for spontaneous Chinese speech
An Intelligent Transportation System Application for Smartphones Based on Vehicle Position Advertising and Route Sharing in Vehicular Ad-Hoc Networks
Formal Verification Techniques Based on Boolean Satisfiability Problem
Preparing mathematical equations in a document preparation environment
Collective Representation for Abnormal Event Detection
Evolving Information Filtering for Personalized Information Service
Pattern Matching Compilation of Functions Defined in Context-Free Languages
Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking
An Optimal Online Algorithm for Halfplane Intersection
Practical Type Checking of Functions Defined on Context-Free Languages
Predicting Chinese Abbreviations from Definitions: An Empirical Learning Approach Using Support Vector Regression
IDDT: Fundamentals and Test Generation
Future Trends in Computer Graphics: How Much is Enough?
Hierarchical bulk synchronous parallel model and performance optimization
Predicting RNA Secondary Structure Using Profile Stochastic Context-Free Grammars and Phylogenic Analysis
Domains via Graphs
Exploiting Deterministic TPG for Path Delay Testing
Mining Object Similarity for Predicting Next Locations
Formalisms to Support the Definition of Processes
Verifying Time Petri Nets by Linear Programming
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets II
Shielding Area Optimization Under the Solution of Interconnect Crosstalk
A Provable Secure ID-Based Explicit Authenticated Key Agreement Protocol Without Random Oracles
DP-Share: Privacy-Preserving Software Defect Prediction Model Sharing Through Differential Privacy
A Heuristic Clustering Algorithm for Mining Communities in Signed Networks
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints
Network-Based Predictions and Simulations by Biological State Space Models: Search for Drug Mode of Action
A Unified Co-Processor Architecture for Matrix Decomposition
Implementation of Cryptosystems Based on Tate Pairing
Optimal Parallel Algorithm for the Knapsack Problem Without Memory Conflicts
A Parallel Interval Computation Model for Global Optimization with Automatic Load Balancing
GUIDS: A graphical user interface development system in UniECAD
Arabic Bank Check Processing: State of the Art
FAPKC3: A new finite automaton public key cryptosystem
Self-Adaptive Resource Management for Large-Scale Shared Clusters
Minimum QOS parameter set in transport layer
HUITWU: An Efficient Algorithm for High-Utility Itemset Mining in Transaction Databases
Hierarchical Cache Directory for CMP
Research on Next-Generation Scalable Routers Implemented with H-Torus Topology
2DCMA: An Effective Maintenance Algorithm of Materialized Views in Peer Data Management Systems
Mining Effective Temporal Specifications from Heterogeneous API Data
Geometric Bone Modeling: From Macro to Micro Structures
Inverse Markov Process Based Constrained Dynamic Graph Layout
Runtime Engine for Dynamic Profile Guided Stride Prefetching
n PAKE + : A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords
An Early Evaluation and Comparison of Three Private Cloud Computing Software Platforms
Single-Cycle Bit Permutations with MOMR Execution
Demand Priority Protocol simulation and evaluation
On Efficient Aggregate Nearest Neighbor Query Processing in Road Networks
Cognition: Accurate and Consistent Linear Log Parsing Using Template Correction
Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102
Checking MSC Specifications for Timing Inconsistency
A New Public-Key Encryption Scheme
Prefix code translation by mapping
A Survey of Non-Volatile Main Memory Technologies: State-of-the-Arts, Practices, and Future Directions
Volumetric Vector-Based Representation for Indirect Illumination Caching
Performance prediction of the hough transform
Location-Based Data Dissemination for Spatial Queries in Wireless Broadcast Environments
A new method of solving kernels in algebraic decomposition for the synthesis of logic cell array
Fuzzy Diffusion Distance Learning for Cartoon Similarity Estimation
Database Research: Achievements and Challenges
System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism
A Multi-Point Distance-Bounding Protocol for Securing Automatic Dependent Surveillance-Broadcast in Unmanned Aerial Vehicle Applications
Movie Scene Recognition Using Panoramic Frame and Representative Feature Patches
A subdivision scheme for rational triangular Bézier surfaces
Usage Scenarios for Byte-Addressable Persistent Memory in High-Performance and Data Intensive Computing
Surface Detail Capturing for Realistic Facial Animation
Selection of Secure Hyperelliptic Curves of g_2 Based on a Subfield
Cacheap: Portable and Collaborative I/O Optimization for Graph Processing
Optimal Set Cover Formulation for Exclusive Row Biclustering of Gene Expression
CORBA-Based Analysis of Multi Agent Behavior
Continuous Outlier Monitoring on Uncertain Data Streams
A Parallel Genetic Algorithm Based on Spark for Pairwise Test Suite Generation
Multimodal Dependence Attention and Large-Scale Data Based Offline Handwritten Formula Recognition
Coverage Optimization for Defect-Tolerance Logic Mapping on Nanoelectronic Crossbar Architectures
A form evaluation system and its data structure for brush-written Chinese characters
Enabling Highly Efficient k-Means Computations on the SW26010 Many-Core Processor of Sunway TaihuLight
DSI: Distributed Service Integration for Service Grid
General algorithms for Barnett's structure in evidential reasoning
Preemptive Semi-Online Scheduling with Tightly-Grouped Processing Times
A Structure Learning Algorithm for Bayesian Network Using Prior Knowledge
Segment based camera calibration
Gallbladder Removal Simulation for Laparoscopic Surgery Training: A Hybrid Modeling Method
Image-Based Synthesis of Chinese Landscape Painting
A Hybrid Distributed Optimistic Concurrency Control Method for High-Performance Real-Time Transaction Processing
Integrating Parallelizing Compilation Technologies for SMP Clusters
Managing Very Large Document Collections Using Semantics
Garbage Collector Verification for Proof-Carrying Code
The Impact of Non-Gaussian Distribution Traffic on Network Performance
6D Object Pose Estimation in Cluttered Scenes from RGB Images
Comparative Analysis of Different Evaluation Functions for Protein Structure Prediction Under the HP Model
A Novel Memory Structure for Embedded Systems: Flexible Sequential and Random Access Memory
Personalized Semantic Based Blog Retrieval
Loop Subdivision Surface Based Progressive Interpolation
Efficient Indirect All-to-All Personalized Communication on Rings and 2-D Tori
Secure Inverted Index Based Search over Encrypted Cloud Data with User Access Rights Management
TSP: A heterogeneous multiprocessor supercomputing system based on i860XP
Dawning Nebulae: A PetaFLOPS Supercomputer with a Heterogeneous Structure
A Novel VLSI Architecture for Real-Time Line-Based Wavelet Transform Using Lifting Scheme
KnoE: A Web Mining Tool to Validate Previously Discovered Semantic Correspondences
Content-Based Publish/Subscribe System for Web Syndication
Symmetric π-calculus
Striping and Scheduling for Large Scale Multimedia Servers
Fast Image Correspondence with Global Structure Projection
Inductive learning
Modeling the Correlations of Relations for Knowledge Graph Embedding
Side-Channel Analysis for the Authentication Protocols of CDMA Cellular Networks
Outleir Analysis for Gene Expression Data
Evaluating and Improving Linear Regression Based Profiling: On the Selection of Its Regularization
Improving Application Launch Performance on Solid State Drives
Connectivity-Based Segmentation for GPU-Accelerated Mesh Decompression
Extracting schema from an OEM database
A Markov Random Field Model-Based Approach to Natural Image Matting
Kernel-Based Nonlinear Discriminant Analysis for Face Recognition
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems
Erratum to: Automatic Fall Detection Using Membership Based Histogram Descriptors
A Query Interface Matching Approach Based on Extended Evidence Theory for Deep Web
High-Impact Bug Report Identification with Imbalanced Learning Strategies
ExaHDF5: Delivering Efficient Parallel I/O on Exascale Computing Systems
SegNet-OPC: A Mask Optimization Framework in VLSI Design Flow Based on Semantic Segmentation Network
Software Project Effort Estimation Based on Multiple Parametric Models Generated Through Data Clustering
DLJ: A dynamic line-justification algorithm for test generation