yusuke1997/dblp-id-title huggingface dataset:
Social Influence Study in Online Networks: A Three-Level Review
A Cost Effective Fault-Tolerant Scheme for RAIDs
t -Private and t -Secure Auctions
An inherent probabilistic aspect of the Hough transform
Encoding Spatial Context for Large-Scale Partial-Duplicate Web Image Retrieval
Cache-Conscious Data Cube Computation on a Modern Processor
An overview of Duration Calculus
Query optimization for Deductive Databases
SeaHttp: A Resource-Oriented Protocol to Extend REST Style for Web of Things
LFTOP : An LF -Based Approach to Domain-Specific Reasoning
Multimodal Agent AI: A Survey of Recent Advances and Future Directions
Modeling Consensus Semantics in Social Tagging Systems
Dynamic I/O-Aware Scheduling for Batch-Mode Applications on Chip Multiprocessor Systems of Cluster Platforms
Discriminative Binary Multi-View Clustering
A Hint Frequency Based Approach to Enhancing the I/O Performance of Multilevel Cache Storage Systems
Trust-Based Personalized Service Recommendation: A Network Perspective
Scheduling PVM tasks
A Novel Similarity Measure to Induce Semantic Classes and Its Application for Language Model Adaptation in a Dialogue System
Experimental studies of artificial conscious systems
Unsupervised Adversarial Domain Adaptation with Hierarchical Semantic Consistency for Cross-Modal Nuclei Detection
Nondeterministic temporal relations in multimedia data
Density Peak Clustering Algorithm Based on Data Field Theory and Grid Similarity
I/O Efficient Early Bursting Cohesive Subgraph Discovery in Massive Temporal Networks
IEEE 802.11 Distributed Coordination Function: Enhancement and Analysis
A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management
Semantics of Constructions (I) - The Traditional Approach
Interleaving Radiosity
2D-Manifold Boundary Surfaces Extraction from Heterogeneous Object on GPU
Principles to Support Modular Software Construction
Fuzzy Neural Network Based Traffic Prediction and Congestion Control in High-Speed Networks
A neural paradigm for time-varying motion segmentation
Problems in the Information Dissemination of the Internet Routing
I/O Performance of an RAID-10 Style Parallel File System
Efficient Multiagent Policy Optimization Based on Weighted Estimators in Stochastic Cooperative Environments
Integrating Scene Parallelism in Camera Auto-Calibration
How to Wear Beautifully? Clothing Pair Recommendation
A Logic-Program-Based Negotiation Mechanism
P3DC: Reducing DRAM Cache Hit Latency by Hybrid Mappings
Intuitive minimal abduction in sequent calculi
Learning-Based Tracking of Complex Non-Rigid Motion
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs
Nonuniform lowness and strong nonuniform lowness
Improved Bounded Model Checking for the Universal Fragment of CTL
The least fixpoint transformation for disjunctive logic programs
Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions
Design and Implementation of an Extended Collectives Library for Unified Parallel C
Towards a Uniform Cooperative Platform: Cova Approach and Experience
Highly Optimized Code Generation for Stencil Codes with Computation Reuse for GPUs
Automatic Video Segmentation Based on Information Centroid and Optimized SaliencyCut
IMPULP: A Hardware Approach for In-Process Memory Protection via User-Level Partitioning
Texture Pattern Generation Using Clonal Mosaic
Ordinal-Class Core Vector Machine
AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel
On Unknown Small Subsets and Implicit Measures: New Techniques for Parameterized Algorithms
Providing Source Code Level Portability Between CPU and GPU with MapCG
Self-Supervised Music Motion Synchronization Learning for Music-Driven Conducting Motion Generation
Automated Power Control for Virtualized Infrastructures
Two Accelerating Techniques for 3D Reconstruction
Towards Better Understanding of App Functions
Minimum Time Extrema Estimation for Large-Scale Radio-Frequency Identification Systems
Specification and Verification of Multimedia Synchronization in Duration Calculus
Lumiproxy: A Hybrid Representation of Image-Based Models
Extending SSD Lifespan with Comprehensive Non-Volatile Memory-Based Write Buffers
Fuzzy Functional Dependencies and Bayesian Networks
Robust Needle Localization and Enhancement Algorithm for Ultrasound by Deep Learning and Beam Steering Methods
A Context-Aware Infrastructure for Supporting Applications with Pen-Based Interaction
An FFT Performance Model for Optimizing General-Purpose Processor Architecture
Simulation and improvement of the processing subsystem of the Manchester dataflow computer
Solving SAT by algorithm transform of Wu's method
Effectiveness Analysis of DVFS and DPM in Mobile Devices
Discovering API Directives from API Specifications with Text Classification
GPP-Based Soft Base Station Designing and Optimization
A new method for reasoning about action
A New FIR Filter for State Estimation and Its Application
A Dialectal Chinese Speech Recognition Framework
An Image Retrieval Method Using DCT Features
Security Attacks in Named Data Networking: A Review and Research Directions
Optimization of Generalized Eigensolver for Dense Symmetric Matrices on AMD GPU
Novel Geometrical Voxelization Approach with Application to Streamlines
Taxonomy of Data Prefetching for Multicore Processors
A unified algorithm for finding the intersection curve of surfaces
Generous or Selfish? Weighing Transaction Forwarding Against Malicious Attacks in Payment Channel Networks
An Admission Control Scheme for End-to-End Statistical QoS Provision in IP Networks
Self Localization Method Using Parallel Projection Model for Mobile Sensor in Navigation Applications
Optimized parallel execution of declarative programs on distributed memory multiprocessors
Mixed Hierarchical Networks for Deep Entity Matching
Linear Strategy for Boolean Ring Based Theorem Proving
Domain-Specific Ontology of Botany
Information Superbahn: Towards a Planet-Scale, Low-Entropy and High-Goodput Computing Utility
Parallel solutions for large-scale general sparse nonlinear systems of equations
FIMI: A Constant Frugal Incentive Mechanism for Time Window Coverage in Mobile Crowdsensing
Phase Correlation Based Iris Image Registration Model
SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers
Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
Gaze-Assisted Viewport Control for 360° Video on Smartphone
wrBench: Comparing Cache Architectures and Coherency Protocols on ARMv8 Many-Core Systems
An object-oriented model of user interface generation tool
Deciding quasi-reducibility using witnessed test sets
Synchronization-Oriented placement and retrieval strategies for delay-sensitive media streams
Squeezer: An Efficient Algorithm for Clustering Categorical Data
FedIERF: Federated Incremental Extremely Random Forest for Wearable Health Monitoring
Privacy-Protective-GAN for Privacy Preserving Face De-Identification
Techniques for Design and Implementation of an FPGA-Specific Physical Unclonable Function
A kind of Multistage Interconnection Networks with multiple paths
Study on Strand Space Model Theory
Printed Arabic Character Recognition Using HMM
Rule Extraction: Using Neural Networks or for Neural Networks?
Real-Time Ray Casting Rendering of Volume Clipping in Medical Visualization
The catalog management strategy of distributed data base systems
Performance Evaluation of Data Value Prediction Schemes
Active Network Supports for Mobile IP
Higher-Order Level-Set Method and Its Application in Biomolecular Surfaces Construction
Detecting Android Malware Using Clone Detection
Type-Aware Question Answering over Knowledge Base with Attention-Based Tree-Structured Neural Networks
Efficient parallel algorithms for some graph theory problems
Feature-Preserving Mesh Denoising via Anisotropic Surface Fitting
Smart Proactive Caching Scheme for Fast Authenticated Handoff in Wireless LAN
Segmentation of stick text based on sub connected area analysis
CALA: A Web Analysis Algorithm Combined with Content Correlation Analysis Method
BCL-3: A High Performance Basic Communication Protocol for Commodity Superserver DAWNING-3000
Disaggregated Datacenters for Future Cloud Computing
Code Based Analysis for Object-Oriented Systems
Survey on Discrete Surface Ricci Flow
Graph Enhanced Transformer for Aspect Category Detection
Client-Centric Adaptive Scheduling of Service-Oriented Applications
Exploring the Interactions of Storylines from Informative News Events
Prioritizing Test Cases for Memory Leaks in Android Applications
The twisted-cube connected networks
Degeneracy from Twisted Cubic Under Two Views
HRPDF: A Software-Based Heterogeneous Redundant Proactive Defense Framework for Programmable Logic Controller
Novel Algorithms for Efficient Mining of Connected Induced Subgraphs of a Given Cardinality
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models
A Supervised Learning Approach to Search of Definitions
A Fault-Tolerant Routing Scheme in Dynamic Networks
QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector
Verbumculus and the Discovery of Unusual Words
Mochi: Composing Data Services for High-Performance Computing Environments
GRIP: A Group Recommender Based on Interactive Preference Model
Parallel Data Cube Storage Structure for Range Sum Queries and Dynamic Updates
Collusion-Proof Result Inference in Crowdsourcing
Contour matching using wavelet transform and multigrid methods
Internet of Things: Objectives and Scientific Challenges
Effcient Handling of Lock Hand-off in DSM Multiprocessors with Buffering Coherence Controllers
Optimization of multi-join queries in shared-nothing systems
Efficient Distributed Skyline Queries for Mobile Applications
Solving Closest Vector Instances Using an Approximate Shortest Independent Vectors Oracle
An implementation of pure Horn clause logic programming in a reduction system
Temporally Consistent Depth Map Prediction Using Deep Convolutional Neural Network and Spatial-Temporal Conditional Random Field
Physical Design Methodology for Godson-2G Microprocessor
The TianHe-1A Supercomputer: Its Hardware and Software
Improved FFSBM Algorithm and Its VLSI Architecture for AVS Video Standard
Exploiting Bivariate Dependencies to Speedup Structure Learning in Bayesian Optimization Algorithm
MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs
Fuzzy Constraint-Based Agent Negotiation
Threshold Extraction Framework for Software Metrics
Real-Time Simulation of Aeolian Sand Movement and Sand Ripple Evolution: A Method Based on the Physics of Blown Sand
Effect of Look-Ahead Depth in Evolutionary Checkers
Extracting Variable-Depth Logical Document Hierarchy from Long Documents: Method, Evaluation, and Application
DPAL: Deductive Language for Embroidery Pattern Assembling
An Improved HEAPSORT Algorithm with n log n - 0.788928 n Comparisons in the Worst Case
Self-Supervised Monocular Depth Estimation by Digging into Uncertainty Quantification
Non-Frontal Facial Expression Recognition Using a Depth-Patch Based Deep Neural Network
PHC: A Fast Partition and Hierarchy-Based Clustering Algorithm
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
Challenges in Computational Analysis of Mass Spectrometry Data for Proteomics
Probability-Based Channel Pruning for Depthwise Separable Convolutional Networks
Approaches for Constrained Parametric Curve Interpolation
Optimization of Web Service Testing Task Assignment in Crowdtesting Environment
Labeled von Neumann Architecture for Software-Defined Cloud
Adventures Beyond Amdahl's Law: How Power-Performance Measurement and Modeling at Scale Drive Server and Supercomputer Design
A Linear Approach for Depth and Colour Camera Calibration Using Hybrid Parameters
Towards Cost-Effective Cloud Downloading with Tencent Big Data
MIMS: Towards a Message Interface Based Memory System
User-Level Device Drivers: Achieved Performance
Structural Join and Staircase Join Algorithms of Sibling Relationship
An incremental approach to automatic algorithm design
PIM-Align: A Processing-in-Memory Architecture for FM-Index Search Algorithm
CPicker: Leveraging Performance-Equivalent Configurations to Improve Data Center Energy Efficiency
Fatman: Building Reliable Archival Storage Based on Low-Cost Volunteer Resources
An efficient computational method for solving nonlinear matrix equation and its application in queuing analysis
QoS Guided Min-Min Heuristic for Grid Task Scheduling
A Privacy-Preserving Attribute-Based Reputation System in Online Social Networks
HeartIt: Low-Power Smoking Detection with a Smartwatch on Either Wrist
A Survey of Blue-Noise Sampling and Its Applications
Partial-TMR: A New Method for Protecting Register Files Against Soft Error Based on Lifetime Analysis
VID Join: Mapping Trajectories to Points of Interest to Support Location-Based Services
Lightweight and Manageable Digital Evidence Preservation System on Bitcoin
An approach to concurrent TTCN test generation
4D-MAP: Multipath Adaptive Packet Scheduling for Live Streaming over QUIC
A switched capacitor harmonic compensation part for switching supplies
Malware-Propagative Mobile Ad Hoc Networks: Asymptotic Behavior Analysis
Automatic Modeling of Virtual Humans and Body Clothing
Constructing Maximum Entropy Language Models for Movie Review Subjectivity Analysis
Geometric primitive extraction by the combination of tabu search and subpixel accuracy
Efficient Non-Repudiation Multicast Source Authentication Schemes
Research on General-Purpose Brain-Inspired Computing Systems
Predicting Code Smells and Analysis of Predictions: Using Machine Learning Techniques and Software Metrics
Visual Similarity Based Document Layout Analysis
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
Texture Feature Extraction from Thyroid MR Imaging Using High-Order Derived Mean CLBP
An Algorithm for Connected-Component Labeling, Hole Labeling and Euler Number Computing
Who Should Be Invited to My Party: A Size-Constrained k-Core Problem in Social Networks
Partitioning the Conventional DBT System for Multiprocessors
Learning with Uncertain Kernel Matrix Set
DimRouter: A Multi-Mode Router Architecture for Higher Energy-Proportionality of On-Chip Networks
An Energy Efficient Clustering Scheme for Data Aggregation in Wireless Sensor Networks
A general architecture model of CPDL Interpreter
Parallel LDPC Decoding on GPUs Using a Stream-Based Computing Approach
Using virtual ATE model to migrate test programs
A maximum time difference pipelined arithmetic unit based on CMOS gate array
Multiple-Morphs Adaptive Stream Architecture
Reachability of Patterned Conditional Pushdown Systems
CytoBrain: Cervical Cancer Screening System Based on Deep Learning Technology
Time and Location Aware Points of Interest Recommendation in Location-Based Social Networks
RF Computing: A New Realm of IoT Research
Possibilistic Exponential Fuzzy Clustering
Metagenomics: Facts and Artifacts, and Computational Challenges
Cardinality Estimator: Processing SQL with a Vertical Scanning Convolutional Neural Network
Semi-Supervised Intracranial Aneurysm Segmentation from CTA Images via Weight-Perceptual Self-Ensembling Model
R a R b transformation of compound finite automata over commutative rings
SRNET: A Shallow Skip Connection Based Convolutional Neural Network Design for Resolving Singularities
Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
Institutions of variable truth values: An approach in the ordered style
An Improved Markov Model for IEEE 802.15.4 Slotted CSMA/CA Mechanism
Integrating mRNA Decay Information into Co-Regulation Study
Priority-Based Routing Resource Assignment Considering Crosstalk
A Semi-Random Multiple Decision-Tree Algorithm for Mining Data Streams
Annotation Based Query Answer over Inconsistent Database
A multimedia synchronization model based on timed Petri net
Using multivalued logic in relational database containing null value
A Summarization-Based Pattern-Aware Matrix Reordering Approach
Range information propagation transform
Implementing a 1GHz Four-Issue Out-of-Order Execution Microprocessor in a Standard Cell ASIC Methodology
NBgossip: An Energy-Efficient Gossip Algorithm for Wireless Sensor Networks
A Commit Strategy for Distributed Real-Time Transaction
Detecting and Untangling Composite Commits via Attributed Graph Modeling
EmotionMap: Visual Analysis of Video Emotional Content on a Map
On Unsupervised Training of Multi-Class Regularized Least-Squares Classifiers
Some Issues in Quantum Information Theory
Defect-Tolerant Mapping of CMOL Circuit Targeting Delay Optimization
Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems
Improved Task and Resource Partitioning Under the Resource-Oriented Partitioned Scheduling
A Solution of Data Inconsistencies in Data Integration - Designed for Pervasive Computing Environment
Word Spotting Based on a posterior Measure of Keyword Confidence
Transformation list for SGML application
Forgeability of Wang-Zhu-Feng-Yau's Attribute-Based Signature with Policy-and-Endorsement Mechanism
Inflatable Models
The t/s-Diagnosability and Diagnostic Strategy of Balanced Hypercube Under Two Classic Diagnostic Models
Light Space Cascaded Shadow Maps Algorithm for Real Time Rendering
Clustering in Very Large Databases Based on Distance and Density
Stability Analysis of Buffer Priority Scheduling Policies Using Petri Nets
RAID 4SMR: RAID Array with Shingled Magnetic Recording Disk for Mass Storage Systems
CUDA-NP: Realizing Nested Thread-Level Parallelism in GPGPU Applications
Constructing Finite Automata with Invertibility by Transformation Method
A Real-Time Multi-Stage Architecture for Pose Estimation of Zebrafish Head with Convolutional Neural Networks
Unsupervised Dialogue State Tracking for End-to-End Task-Oriented Dialogue with a Multi-Span Prediction Network
Urban Traffic Information Service Application Grid
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
FaSa: A Fast and Stable Quadratic Placement Algorithm
Functional Verification for Agile Processor Development: A Case for Workflow Integration
Alarm Log Data Augmentation Algorithm Based on a GAN Model and Apriori
Software Reliability Experimentation and Control
Fast Level-Set-Based Inverse Lithography Algorithm for Process Robustness Improvement and Its Application
Emphasizing Essential Words for Sentiment Classification Based on Recurrent Neural Networks
Multi-Level Partition of Unity Algebraic Point Set Surfaces
I-Satchmore: An Improvement of A-SATCHMORE
Leaf Movement Simulation
Efficient Minimum Spanning Tree Algorithms on the Reconfigurable Mesh
An efficient parallel graph edge matching algorithm and its applications
The Knowledge Grid
CCD: An integrated C coding and debugging tool
Spatio-Temporal Learning for Route-Based Travel Time Estimation
Sequential back-propagation
Adaptive Call Admission Control Based on Reward-Penalty Model in Wireless/Mobile Network
A Novel Probabilistic Saturating Counter Design for Secure Branch Predictor
Clustering Text Data Streams
Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals
Modeling Temporal Dynamics of Users' Purchase Behaviors for Next Basket Prediction
Reducing Synchronization Cost for Single-Level Store in Mobile Systems
A Functional Sensing Model and a Case Study in Household Electricity Usage Sensing
Robustness Analysis of the IFN-y Induced JAK-STAT Signaling Pathway
CONTENTS
Development of Software Engineering: A Research Perspective
A radiosity solution for curved surface environments
An algebraic characterization of inductive soundness in proof by consistency
Bi-GAE: A Bidirectional Generative Auto-Encoder
Summarizing Vocabularies in the Global Semantic Web
Making Effective Decisions in Computer Architects' Real-World: Lessons and Experiences with Godson-2 Processor Designs
Processing of uncertainty temporal relations
Realistic Modeling and Animation of Human Body Based on Scanned Data
Interactive Inconsistency Fixing in Feature Modeling
Two-Type Information Fusion Based IP-to-AS Mapping Table Refining
The Contiguity in R/M
Cooperative Software Testing and Analysis: Advances and Challenges
A new local control spline with shape parameters for CAD/CAM
Fault-Tolerant Grid Architecture and Practice
Graph traversal and top-down evaluation of logic queries
Online Induction of Probabilistic Real-Time Automata
BADF: Bounding Volume Hierarchies Centric Adaptive Distance Field Computation for Deformable Objects on GPUs
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement
Context-Based 2D-VLC Entropy Coder in AVS Video Coding Standard
A VLSI algorithm for calculating the tree to tree distance
A Visual Analysis Approach for Community Detection of Multi-Context Mobile Social Networks
Interactive and Symbolic Data Dependence Analysis Based on Ranges of Expressions
Improving Entity Linking in Chinese Domain by Sense Embedding Based on Graph Clustering
UFN: User-Friendly Navigation Framework Based on Systematic Utilization of User-Friendliness Features from Historical Traffic Data
Coherent Photon Mapping on the Intel MIC Architecture
Inversion Optimization Strategy Based on Primitives with Complement Attributes
Geometric Signal Compression
Progress and Prospect of Some Fundamental Research on Information Security in China
BHONEM: Binary High-Order Network Embedding Methods for Networked-Guarantee Loans
OpenMC: Towards Simplifying Programming for TianHe Supercomputers
Budget-Aware Dynamic Incentive Mechanism in Spatial Crowdsourcing
RF Waves as a Computing Medium
On the arc consistency problem
Godson-T: An Efficient Many-Core Architecture for Parallel Program Executions
Three-dimensional volume datafield reconstruction from physical model
Energy Efficient Block-Partitioned Multicore Processors for Parallel Applications
QoS-Aware Automatic Service Composition: A Graph View
Multi-Factor Duplicate Question Detection in Stack Overflow
M-LSM: An Improved Multi-Liquid State Machine for Event-Based Vision Recognition
Distributed and Cooperative Information Retrieval on the World Wide Web
Flood Avoidance Mechanisms for Bridged Resilient Packet Rings
Super-Resolution Reconstruction of Image Sequence Using Multiple Motion Estimation Fusion
Application-Aware Client-Side Data Reduction and Encryption of Personal Data in Cloud Backup Services
A direct approach for finding loop transformation matrices
A Comparative Study of CNN- and Transformer-Based Visual Style Transfer
CHAUS: Scalable VM-Based Channels for Unbounded Streaming
Ganglion-Based Balance Design of Multi-Layer Model and Its Watchfulness-Keeping
A Quotient Space Approximation Model of Multiresolution Signal Analysis
Accelerated techniques in stem fault simulation
Nonrepudiable Proxy Multi-Signature Scheme
FGHDet: Delving into Fine-Grained Features with Head Selection for UAV Object Detection
Feature Selection for Malware Detection on the Android Platform Based on Differences of IDF Values
Component Dependency in Object-Oriented Software
Visual Ontology Construction for Digitized Art Image Retrieval
Video key frame extraction by unsupervised clustering and feedback adjustment
A New Classification Method to Overcome
Analyzing and Optimizing Packet Corruption in RDMA Network
Determining Knots by Minimizing Energy
Parametric Tracking of Legs by Exploiting Intelligent Edge
On 2-Site Voronoi Diagrams Under Geometric Distance Functions
Double Barrier Coverage in Dense Sensor Networks
Model Transduction for Triangle Meshes
Balanced Multi-Label Propagation for Overlapping Community Detection in Social Networks
Microarchitecture of the Godson-2 Processor
A New Classification of Path-Delay Fault Testability in Terms of Stuck-at Faults
Fast Construction of Plant Architectural Models Based on Substructure Decomposition
SAIH: A Scalable Evaluation Methodology for Understanding AI Performance Trend on HPC Systems
Erratum to: A Framework for Supporting Tree-Like Indexes on the Chord Overlay
A Task Execution Framework for Cloud-Assisted Sensor Networks
An overview of data mining and knowledge discovery
Denotational semantics of a simple model of Eiffel