yusuke1997/dblp-id-title huggingface dataset:
Feature-Oriented Nonfunctional Requirement Analysis for Software Product Line
Approximation Algorithms for Steiner Connected Dominating Set
Data Extraction from the Web Based on Pre-Defined Schema
A Substitution-Translation-Restoration Framework for Handling Unknown Words in Statistical Machine Translation
Memory Efficient Two-Pass 3D FFT Algorithm for Intel® Xeon PhiTM Coprocessor
The expansion postponement in Pure Type Systems
Automatic Circuit Extractor for HDL Description Using Program Slicing
Universal Image Steganalysis Based on Convolutional Neural Network with Global Covariance Pooling
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Decidability of mean value calculus
A New Synchronization Algorithm for VHDL-AMS Simulation
A Fuzzy Approach to Classification of Text Documents
Estimation of Vehicle Pose and Position with Monocular Camera at Urban Road Intersections
A Graphical mu-Calculus and Local Model Checking
Hyper-distributed hyper-parallel implementation of heuristic search of implicit AND/OR graph
A Model-Agnostic Hierarchical Framework Towards Trajectory Prediction
Leakage Current Estimation of CMOS Circuit with Stack Effect
Hetero-DB: Next Generation High-Performance Database Systems by Best Utilizing Heterogeneous Computing and Storage Resources
Personal Information Self-Management: A Survey of Technologies Supporting Administrative Services
Discriminative Histogram Intersection Metric Learning and Its Applications
RAO logic for multiagent framework
ShadowEth: Private Smart Contract on Public Blockchain
A neural network approach to fault diagnosis in analog circuits
Full or-parallemism and restricted And-parallelism in BTM
Adversarial Graph Convolutional Network for Skeleton-Based Early Action Prediction
Energy Efficient Run-Time Incremental Mapping for 3-D Networks-on-Chip
Side-Channel Analysis for the Re-Keying Protocol of Bluetooth Low Energy
Interactive Depth-of-Field Rendering with Secondary Rays
ExquiMo: An Exquisite Corpse Tool for Collaborative 3D Shape Design
New Approach to WLAN Security with Synchronized Pseudo Random
PTM: A Topic Model for the Inferring of the Penalty
A Survey on Pre-Processing in Image Matting
SIES: A Novel Implementation of Spiking Convolutional Neural Network Inference Engine on Field-Programmable Gate Array
Reverse Furthest Neighbors Query in Road Networks
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON
Improved Method to Generate Path-Wise Test Data
Stable Real-Time Surgical Cutting Simulation of Deformable Objects Embedded with Arbitrary Triangular Meshes
Improved Approximate Detection of Duplicates for Data Streams Over Sliding Windows
Greedy Randomized Adaptive Search Procedure with Path-Relinking for the Vertex p-Center Problem
Automatic Anterior Lamina Cribrosa Surface Depth Measurement Based on Active Contour and Energy Constraint
Unified Programming Models for Heterogeneous High-Performance Computers
CrowdOLA: Online Aggregation on Duplicate Data Powered by Crowdsourcing
The methodology of testability prediction for sequential circuits
NP-Logic Systems and Model-Equivalence Reductions
The processing and improvement of multi-statement queries in Chiql
Effective Query Grouping Strategy in Clouds
Lossless Compression of Random Forests
A Trust-Based Approach to Estimating the Confidence of the Software System in Open Environments
Scalable Base-Station Model-Based Multicast in Wireless Sensor Networks
A redundant binary algorithm for RSA
Single Image Super-Resolution via Dynamic Lightweight Database with Local-Feature Based Interpolation
GBP-WAHSN: A Group-Based Protocol for Large Wireless Ad Hoc and Sensor Networks
Research on decompiling technology
Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol
Progressive Furniture Model Decimation with Texture Preservation
SMRI: A New Method for siRNA Design for COVID-19 Therapy
A Method to Build a Super Small but Practically Accurate Language Model for Handheld Devices
System Architecture of Godson-3 Multi-Core Processors
Closed World Assumption for Disjunctive Reasoning
Research on the optimal parallel algorithms of broadcast-class problems
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow
Complete Bipartite Anonymity for Location Privacy
Incremental Multi-Label Learning with Active Queries
Scheduling Multi-Mode Projects under Uncertainty to Optimize Cash Flows: A Monte Carlo Ant Colony System Approach
Toward Effective Knowledge Acquisition with First-Order Logic Induction
Blind Image Deblurring via Adaptive Optimization with Flexible Sparse Structure Control
Incremental Detection of Strongly Connected Components for Scholarly Data
Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem
Fast Algorithms of Mining Probability Functional Dependency Rules in Relational Database
Research on protocol migration
Improving Friend Recommendation for Online Learning with Fine-Grained Evolving Interest
The multiplicity of zeros of algebraic system in eigenvalue method
Stretch-Minimizing Volumetric Parameterization
Interleaving Guidance in Evolutionary Multi-Objective Optimization
DyPipe: A Holistic Approach to Accelerating Dynamic Neural Networks with Dynamic Pipelining
Modeling in Multi-Resolution and Its Applications
Vision-Based Sign Language Translation via a Skeleton-Aware Neural Network
Bottom-up evaluation of datalog with negation
Generalized Tweakable Even-Mansour Cipher and Its Applications
Performance Characterization of Game Recommendation Algorithms on Online Social Network Sites
NapFS: A High-Performance Persistent Memory File System for Non-Uniform Memory Access Architectures
Test Resource Partitioning Based on Efficient Response Compaction for Test Time and Tester Channels Reduction
Deductive fault simulation algorithm based on fault collapsing
Discrimination-Aware Domain Adversarial Neural Network
An Optimized Divide-and-Conquer Algorithm for the Closest-Pair Problem in the Planar Case
A Shape Graph Logic and A Shape System
A traffic partition algorithm for switched LANs and its performance analysis
Consistency Property of Finite FC-Normal Logic Programs
Computational Mechanisms for Metaphor in Languages: A Survey
A Tiny Example Based Procedural Model for Real-Time Glinty Appearance Rendering
DG-CNN: Introducing Margin Information into Convolutional Neural Networks for Breast Cancer Diagnosis in Ultrasound Images
Clustering Context-Dependent Opinion Target Words in Chinese Product Reviews
On k -positive satisfiability problem
RiMOM-IM: A Novel Iterative Framework for Instance Matching
Term-Dependent Confidence Normalisation for Out-of-Vocabulary Spoken Term Detection
Label-Aware Chinese Event Detection with Heterogeneous Graph Attention Network
A Semantic Searching Scheme in Heterogeneous Unstructured P2P Networks
Context-Aware Semantic Type Identification for Relational Attributes
MicroBTC: Efficient, Flexible and Fair Micropayment for Bitcoin Using Hash Chains
A Fast Algorithm for Mining Sequential Patterns from Large Databases
A Survey of 3D Indoor Scene Synthesis
Improving Fault Detection in Modified Code - A Study from the Telecommunication Industry
Photographic Appearance Enhancement via Detail-Based Dictionary Learning
Robust Video Text Detection with Morphological Filtering Enhanced MSER
I/O Acceleration via Multi-Tiered Data Buffering and Prefetching
Research on Trust Prediction from a Sociological Perspective
Optimizing Linpack Benchmark on GPU-Accelerated Petascale Supercomputer
Knowledge Base Grid: A Generic Grid Architecture for Semantic Web
Mining Causality for Explanation Knowledge from Text
Harmonic Field Based Volume Model Construction from Triangle Soup
Design and Implementation of NAREGI SuperScheduler Based on the OGSA Architecture
Cryptanalysis of Reduced-Round DASH
Validating inductive hypotheses by mode inference
The Infinite Evolution Mechanism of ϵ-Bisimilarity
Point-Voxel Based Geometry-Adaptive Network for 3D Point Cloud Analysis
An Enhanced Physical-Locality Deduplication System for Space Efficiency
Computational Cellular Dynamics Based on the Chemical Master Equation: A Challenge for Understanding Complexity
Provisioning of Inter-Domain QoS-Aware Services
CIM Algorithm for Approximating Three-Dimensional Polygonal Curves
Edge-Aware Level Set Diffusion and Bilateral Filtering Reconstruction for Image Magnification
Characterization of an Auto-Compatible Default Theory
A new approach to fully automatic mesh generation
A Pragmatic Behavior Subtyping Relation Based on Both States and Actions
Self-Adaptive Clock Synchronization for Computational Grid
Design and Verification of High-Speed VLSI Physical Design
The Differential Equation Algorithm for General Deformed Swept Volumes
Simulation and Visualisation of Functional Landscapes: Effects of the Water Resource Competition Between Plants
Face Anti-Spoofing with Unknown Attacks: A Comprehensive Feature Extraction and Representation Perspective
Lane Detection: A Survey with New Results
On Locating Malicious Code in Piggybacked Android Apps
The Inverse Classification Problem
Edge-Oriented Spatial Interpolation for Error Concealment of Consecutive Blocks
Semi-Supervised Learning Based Tag Recommendation for Docker Repositories
Information Service Model with Mobile Agent Supported
Fingerprint-Based Identity Authentication and Digital Media Protection in Network Environment
Intermittent Fault Diagnosability of Interconnection Networks
Extraction of Spatial-Temporal Features for Vision-Based Gesture Recognition
ValExtractor: Reliable Automated Local Variable Extraction in Code Refactoring
Isolate Sets Based Parallel Louvain Method for Community Detection
From Sequential Pattern Mining to Structured Pattern Mining: A Pattern-Growth Approach
Multi-Source Data with Laplacian Eigenmaps and Denoising Autoencoder for Predicting Microbe-Disease Associations via Convolutional Neural Network
Exploiting Unlabeled Data for Neural Grammatical Error Detection
Recent Advances in Evolutionary Computation
Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics
Inductive Lottery Ticket Learning for Graph Neural Networks
Viewpoints on Grid Standards
Constraint-Based Partial Evaluation for Imperative Languages
Machine Learning Techniques for Software Maintainability Prediction: Accuracy Analysis
Automatic Shape Control of Triangular B -Splines of Arbitrary Topology
Location, Localization, and Localizability
A data manager for engineering applications
Agent-Oriented Probabilistic Logic Programming
Generation of Escher-Like Rosette Drawings
DEM: Deep Entity Matching Across Heterogeneous Information Networks
Two-Factor Cancelable Biometrics Authenticator
An approach to active learning for classifier systems
Towards Robustness to Speech Rate in Mandarin All-Syllable Recognition
Study on Distributed Knowledge Information System for Product Design
Text Classification Using Sentential Frequent Itemsets
Innovative Batik Design with an Interactive Evolutionary Art System
Dynamic checking framework for Java Beans semantic constraints
An Efficient Data Dissemination Scheme for Spatial Query Processing
Prevention from Soft Errors via Architecture Elasticity
Unraveling Iterative Control Structures from Business Processes
RevivePath: Resilient Network-on-Chip Design Through Data Path Salvaging of Router
PuzzleNet: Boundary-Aware Feature Matching for Non-Overlapping 3D Point Clouds Assembly
Verifying automata specification of distributed probabilistic real-time systems
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking
Efficient Aggregation Algorithms on Very Large Compressed Data Warehouses
Improved Integrity Constraints Checking in Distributed Databases by Exploiting Local Checking
Large-Scale Estimation of Distribution Algorithms with Adaptive Heavy Tailed Random Projection Ensembles
GLOBAL: A design for random testability algorithm
Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach
MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection
GAM: A GPU-Accelerated Algorithm for MaxRS Queries in Road Networks
Class-Driven Non-Negative Matrix Factorization for Image Representation
Hand interface in traditional modeling and animation tasks
Decoding the Structural Keywords in Protein Structure Universe
Neural network methods for NURBS curve and surface interpolation
A Hybrid Model for Smoke Simulation
Location and Trajectory Identification from Microblogs
Overview of Center for Domain-Specific Computing
A necessary condition about the optimum partition on a finite set of samples and its application to clustering analysis
Parallel implementation of linear algebra problems on Dawning-1000
SPMH: A Solution to the Problem of Malicious Hosts
AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications
Survey on Anonymity in Unstructured Peer-to-Peer Systems
Discovering User Profiles for Web Personalized Recommendation
Computing Bisimulations for Finite-Control pi-Calculus
An Efficient Scheme to Defend Data-to-Control-Plane Saturation Attacks in Software-Defined Networking
Investigation on AQ11, ID3 and the Principle of Discernibility Matrix
An Elastic Architecture Adaptable to Various Application Scenarios
Competitive Cloud Pricing for Long-Term Revenue Maximization
Geometric Deformations Based on 3D Volume Morphing
3D Filtering by Block Matching and Convolutional Neural Network for Image Denoising
Generalized Goldwasser and Micali's Type Cryptosystem
Semisupervised Sparse Multilinear Discriminant Analysis
Compact DC-DC converter for pocket micro-controller systems
Review Authorship Attribution in a Similarity Space
A standard model-theoretic approach to operational semantics of recursive programs
Multi-Attribute Preferences Mining Method for Group Users with the Process of Noise Reduction
Evaluation for Small Visual Difference Between Conforming Meshes on Strain Field
Private Keyword-Search for Database Systems Against Insider Attacks
Performance Evaluation of Memory-Centric ARMv8 Many-Core Architectures: A Case Study with Phytium 2000+
Federated Dynamic Client Selection for Fairness Guarantee in Heterogeneous Edge Computing
Controllability and Its Applications to Biological Networks
Robust Speech Recognition Method Based on Discriminative Environment Feature Extraction
DeltaFuzz: Historical Version Information Guided Fuzz Testing
Approximate Continuous Top-k Query over Sliding Window
Vulnerable Region-Aware Greybox Fuzzing
Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules
A Cloud-Based BPM Architecture with User-End Distribution of Non-Compute-Intensive Activities and Sensitive Data
Multimodal Interactive Network for Sequential Recommendation
An object-oriented transaction model
New Proper Reparameterization of Plane Rational Bézier Curves
Service-Oriented Resource Allocation in Clouds: Pursuing Flexibility and Efficiency
Wide Operational Range Processor Power Delivery Design for Both Super-Threshold Voltage and Near-Threshold Voltage Computing
HmTest: Automated Testing of HarmonyOS Apps via Model-Driven Navigation and Reinforcement Learning
Extract rules by using rough set and knowledge-based NN
Probabilistic Adaptive Anonymous Authentication in Vehicular Networks
On memory capacity of the Probabilistic Logic Neuron network
Challenges in Understanding Genome-Wide DNA Methylation
Understanding the "Horizontal Dimension" of Molecular Evolution to Annotate, Classify, and Discover Proteins with Functional Domains
CTNet: A Convolutional Transformer Network for Color Image Steganalysis
Source-Free Unsupervised Domain Adaptation with Sample Transport Learning
A knowledge representation model for video-based animation
Hadamard Encoding Based Frequent Itemset Mining under Local Differential Privacy
Scoped Bellman-Ford Geographic Routing for Large Dynamic Wireless Sensor Networks
Computing the SKT reliability of acyclic directed networks using factoring method
Continuous Probabilistic Subspace Skyline Query Processing Using Grid Projections
A Novel Three-Staged Generative Model for Skeletonizing Chinese Characters with Versatile Styles
Prior-Free Dependent Motion Segmentation Using Helmholtz-Hodge Decomposition Based Object-Motion Oriented Map
Journal of Computer Science and Technology: Volume 39, 2024: Contents
Privacy Petri Net and Privacy Leak Software
New Generations: Sequencing Machines and Their Computational Challenges
Integrating Standard Dependency Schemes in QCSP Solvers
A Transfer Function Design for Medical Volume Data Using a Knowledge Database Based on Deep Image and Primitive Intensity Profile Features Retrieval
SFT: A Consistent Checkpointing Algorithm with Short Freezing Time
The Best Answers? Think Twice: Identifying Commercial Campagins in the CQA Forums
Edge-Centric Pricing Mechanisms with Selfish Heterogeneous Users
Fine-Tuning Channel-Pruned Deep Model via Knowledge Distillation
Autocorrelation Values of New Generalized Cyclotomic Sequences of Order Two and Length pq
The Haplotyping Problem: An Overview of Computational Models and Solutions
FATOC: Bug Isolation Based Multi-Fault Localization by Using OPTICS Clustering
A New Fuzzy Set Theory Satisfying All Classical Set Formulas
Some Contributions to Nonmonotonic Consequence
Lighting Estimation of a Convex Lambertian Object Using Redundant Spherical Harmonic Frames
Global register allocation for SIMD multiprocessors
An Empirical Study on the Impact of Automation on the Requirements Analysis Process
Design-for-Testability Features and Test Implementation of a Giga Hertz General Purpose Microprocessor
Optimizing Non-Decomposable Evaluation Metrics for Neural Machine Translation
Improvement on the Multihop Shareholder Discovery for Threshold Secret Sharing in MANETs
A Workflow Process Mining Algorithm Based on Synchro-Net
The Temporal mechanisms in HBase
Verifying ReLU Neural Networks from a Model Checking Perspective
Research Progress of UniCore CPUs and PKUnity SoCs
Reorder Write Sequence by Hetero-Buffer to Extend SSD's Lifespan
RSAD: A Robust Distributed Contention-Based Adaptive Mechanism for IEEE 802.11 Wireless LANs
Anomaly Detection in Microblogging via Co-Clustering
Plug-and-Play Based Optimization Algorithm for New Crime Density Estimation
Practical Fast Computation of Zernike Moments
Neural Parse Combination
A General Low-Cost Indirect Branch Prediction Using Target Address Pointers
Area Efficient Pattern Representation of Binary Neural Networks on RRAM
Spontaneous Speech Parsing in Travel Information Inquiring and Booking Systems
A Pipelining Loop Optimization Method for Dataflow Architecture
Back-to-Front Ordering of Triangles in Digital Terrain Models over Regular Grids
Towards Exploring Large Molecular Space: An Efficient Chemical Genetic Algorithm
Isometric 3D Shape Partial Matching Using GD-DNA
Video Colorization: A Survey
P-Tree Structures and Event Horizon: Efficient Event-Set Implementations
Middleware for Wireless Sensor Networks: A Survey
openGauss: An Enterprise-Grade Open-Source Database System
Power Minimization of FPRM Functions Based on Polarity Conversion
System Pi: A Native RDF Repository Based on the Hypergraph Representation for RDF Data Model
Chopper: Efficient Algorithm for Tree Mining
PEJA: Progressive Energy-Efficient Join Processing for Sensor Networks
Combining Local Scoring and Global Aggregation to Rank Entities for Deep Web Queries
Emerging Applications for Cyber Transportation Systems
A Novel Computer Architecture to Prevent Destruction by Viruses
FedBone: Towards Large-Scale Federated Multi-Task Learning
Next POI Recommendation Based on Location Interest Mining with Recurrent Neural Networks
Surface Tension Model Based on Implicit Incompressible Smoothed Particle Hydrodynamics for Fluid Simulation
Spatially Adaptive Image Restoration Using Fuzzy Punctual Kriging
Personalized News Recommendation: A Review and an Experimental Investigation
Hypertasking: From Information Web to Computing Utility
Collaborative Interaction for Videos on Mobile Devices Based on Sketch Gestures
Efficient Incremental Maintenance of Frequent Patterns with FP-Tree
Declarative XML Update Language Based on a Higher Data Model
Fast and Error-Bounded Space-Variant Bilateral Filtering
Automated String Constraints Solving for Programs Containing String Manipulation Functions
Reasoning about concurrent actions in multi-agent systems
Real-Time Semantic Segmentation via an Efficient Multi-Column Network
Building a Distributed Infrastructure for Scalable Triple Stores
ARSlice: Head-Mounted Display Augmented with Dynamic Tracking and Projection
Situated learning of a behavior-based mobile robot path planner
A form-correcting system of Chinese characters using a model of correcting procedures of calligraphists
Hierarchical geometric constraint model for parametric feature based modeling
A Comprehensive Review of Redirected Walking Techniques: Taxonomy, Methods, and Future Directions
Unit Test Data Generation for C Using Rule-Directed Symbolic Execution
Manifold Constrained Transfer of Facial Geometric Knowledge for 3D Caricature Reconstruction
AHT Bézier Curves and NUAH B-Spline Curves
A distributed algorithm for determining minimal covers of acyclic database schemes
Node Grouping in System-Level Fault Diagnosis
Facial Image Attributes Transformation via Conditional Recycle Generative Adversarial Networks
Mapping PUNITY to UniNet
SOOP: Efficient Distributed Graph Computation Supporting Second-Order Random Walks
An introduction to INCAPS system
A Large-Scale Study of Failures on Petascale Supercomputers
A multiscale approach to automatic medical image segmentation using self-organizing map
Formal Reasoning About Lazy-STM Programs
An Energy-Aware Heuristic Scheduling for Data-Intensive Workflows in Virtualized Datacenters
Adapt Bagging to Nearest Neighbor Classifiers
Program construction by verifying specification
Automated theorem proving in temporal logic: T-resolution
AVS-M: From Standards to Applications
Learning Better Word Embedding by Asymmetric Low-Rank Projection of Knowledge Graph
Meta-Learning Based Few-Shot Link Prediction for Emerging Knowledge Graph
Monocular Video Guided Garment Simulation
Reaction graph
Raw Trajectory Rectification via Scene-Free Splitting and Stitching
Tencent and Facebook Data Validate Metcalfe's Law
Object-oriented analysis of ELIMINO
A Pattern Matching Based Framework for Quantum Circuit Rewriting
Performance Metrics and Models for Shared Cache
A methodology for mapping and partitioning arbitrary n -dimensional nested loops into 2-dimensional VLSI arrays
Cognition-Driven Traffic Simulation for Unstructured Road Networks
Community-Aware Resource Profiling for Personalized Search in Folksonomy
Optimizing FORTRAN programs for hierarchical memory parallel processing systems
A Holistic Approach for Efficient Contour Detection
EasiSMP: A Resource-Oriented Programming Framework Supporting Runtime Propagation of RESTful Resources
Hyperfinite interpolation, Wu's Method and blending of implicit algebraic surfaces
A Monte Carlo Enhanced PSO Algorithm for Optimal QoM in Multi-Channel Wireless Networks
A Survey of Reliability Issues Related to Approximate Circuits
Automatic Diabetic Retinopathy Screening via Cascaded Framework Based on Image- and Lesion-Level Features Fusion
A New Approach for Multi-Document Update Summarization
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
Dynamic Query Optimization Approach for Semantic Database Grid
Bootstrapping Object Coreferencing on the Semantic Web
An Orientation Update Message Filtering Algorithm in Collaborative Virtual Environments
Complete Your Mobility: Linking Trajectories Across Heterogeneous Mobility Data Sources
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty
Grading the Severity of Mispronunciations in CAPT Based on Statistical Analysis and Computational Speech Perception
Massive Storage Systems
A Loop-Based Apparatus for At-Speed Self-Testing
Compiling CIL rewriting language for multiprocessors
Short Group Signatures Without Random Oracles
A comparative analysis of different arbitration protocols for multiple-bus multiprocessors
ROPAS: Cross-Layer Cognitive Architecture for Mobile UWB Networks
Type System in Programming Languages