yusuke1997/dblp-id-title huggingface dataset:
Research and Application of Business Intelligence in the Nuclear Power Maintenance
An Adaptive Random-valued Impulse Noise Reduction Method Based on Noise Ratio Estimation in Highly Corrupted Images
Benchmark for Emergency Management Based on OGC WFS
Emotion Feature Vector of Finger Braille
A Multi-path Routing Protocol with Reduced Control Messages for Wireless Sensor Networks
An AFK-SVD Sparse Representation Approach for Speech Signal Processing
Visualization and Cognition of Large-Scale Software Structure Using the k-Core Analysis
The Distortion Control Method of Reversible Contrast Mapping Hiding Scheme
Detection of Singing Mistakes from Singing Voice
Research on Parallel Vulnerabilities Discovery Based on Open Source Database and Text Mining
Preview-Versioned Essential Secret Image Sharing
Security Analysis for UHF RFID Tags
The Study of 3D Reconstruction Method Based on Dynamic Threshold Method and Improved Ray Casting Algorithm
An Improved Face Detection Method in Low-resolution Video
Multiview Video Coding Algorithm Based on HBP Prediction Structure
Fast Deployment of Botnet Detection with Traffic Monitoring
Performance Comparison of Several Watermarking Methods Based on ICA and AQIM
Overlapped Block Motion Compensation Using Modified Sigmoid Window
Nonholonomic Motion Planning of Mobile Robot with Ameliorated Genetic Algorithm
An Efficient Method for Sweep Coverage with Minimum Mobile Sensor
Intent Classification in Question-Answering Using LSTM Architectures
An Automated On-line Traffic Flow Classification Scheme
Multi-class Relationship Extraction from Biomedical Literature Using Maximum Entropy
Asynchronous Stochastic Decoder for Spread Spectrum Digital Watermarking
An Efficient Lattice-Based Proxy Signature Scheme without Trapdoor
Motion Vector Re-estimation for Video Trans-coding with Arbitrary Downsizing
GUI of GMS Simulation Tool Using Fuzzy Methods
Classification of Brain Matters in MRI by Kernel Independent Component Analysis
Extracting Invariable Features Using Geometry Projection Based Histogram Model for 3D Object Description
A User Authentication Scheme Based on Fingerprint and USIM Card
Base on Game Theory Model to Improve Trust Access Control in Cloud File-Sharing System
A Speech Chaotic Encryption Algorithm Based on Network
Non-Interactive t-out-of-n Oblivious Transfer Based on the RSA Cryptosystem
Kernel Canonical Correlation with Similarity Refinement for Automatic Image Tagging
Facial Expression Recognition under Partial Occlusion Based on Gabor Multi-orientation Features Fusion and Local Gabor Binary Pattern Histogram Sequence
Improved SIFT-Based Copy-Move Detection Using BFSN Clustering and CFA Features
Energy-Efficient Geographic Relay for Ad-Hoc Wireless Networks
A Blind Associative Watermark Detection Scheme Using Self-Embedding Technique
Subblock-Based BPE Scheme to Conquer Mismatch in Memory Access Pattern
Novel Efficient Electronic Voting Mechanism Based upon Elliptic Curve
Regular Clipping Detection of Image Based on SIFT
Real-Time Hand Detection and Tracking against Complex Background
Integrating Genetic and Ant Algorithm into P2P Grid Resource Discovery
Frame Interpolation Method Based on Adaptive Threshold and Adjacent Pixels
Comparison of Speech Recognition Performance Between Kaldi and Google Cloud Speech API
An Adaptive Image Frequency Subbanding Method for High-Frequency Pixel Estimation
Color-Based Semantic Image Retrieval with Fuzzy-ART
Vehicle Detection and Counting by Using Headlight Information in the Dark Environment
Template-Based Scene Classification for Baseball Videos Using Efficient Playfield Segmentation
Secure Speech Encryption System Using Segments for Speech Synthesis
On the Power Spectrum Density of UWB Signals in IEEE 802.15.4a
Research on Scientific Constructions of CAI English Teaching System
Robust Audio Watermarking Algorithm Based on Histogram Specification
Hardware Architecture for HOG Feature Extraction
Denoising by Anisotropic Diffusion in ICA Subspace
An Integrated Building Fire Evacuation System with RFID and Cloud Computing
Can Chronological Information be Used as a Soft Biometric in Keystroke Dynamics?
Digital Audio Watermarking Algorithm Based on Quantizing Coefficients
A Self Adaptive Incremental Learning Fuzzy Neural Network Based on the Influence of a Fuzzy Rule
Cyber Security Risk Assessment for Industrial Automation Platform
Medical Image Noise Reduction Using Cellular Neural Networks
The Structuring of the Self Through Relational Patterns of Movement Using Data from the Microsoft Kinect 2 to Study Baby-Caregiver Interaction
A Snapshot-Based Evaluation Method for Garbage Collection
Reversible Secret Image Sharing Based on Shamir's Scheme
An Effective Network-Aware Peer Selection Algorithm in BitTorrent
Knowledge Transferring for Image Classification
Evaluation of Sinusoidal Modeling for Polyphonic Music Signal
An Information Hiding Scheme for OFDM Wireless Networks
Efficient Software Method for Decoding of the (71, 36, 11) Quadratic Residue Code
Capacity Reduction of Distribution Transformer by Harmonic Effect
Fisherface vs. Eigenface in the Dual-tree Complex Wavelet Domain
2D(PC)2 A for Face Recognition with One Training Image per Person
VLSI Bio-Inspired Microsystem for Robust Microarrray Image Analysis and Recognition
Lossless Coding of Multiband Images Using Interband Data Correlation and Error Feedback Prediction Scheme
Distributed Steganography
Effects on Statistical Features for Image by Quantization
Study of Stability Indices for Special Protection System in Taiwan
A New Robust Watermarking Scheme Based on Features Classification Tree
Design of Multiuser Collusion-Free Hiding Codes with Delayed Embedding
An Edge Enhanced Technique for Digital Halftoning Using Error Diffusion
Implementation of Covert Communication Based on Steganography
Cascading Rectangle and Edge Orientation Features for Fast Pedestrian Detection
Regular Quasi-cyclic LDPC Codes with Girth 6 from Prime Fields
A Decision Support System in Geriatric Care
Two-Dimensional Extended Feature Line Space for Feature Extraction
An Efficient Data Replication Scheme for Peer-to-Peer Video Streaming over Wireless-Mesh Community Networks
A Multi-objective Particle Swarm Optimization Algorithm for Rule Discovery
An Integrated Framework for Disaster Event Analysis in Big Data Environments
Optimal Deployment for Wireless Sensor Networks Using Lifetime Expectation Estimation
The VLSI Design of Winscale for Digital Image Scaling
Domain-Based Dynamic Resource Management Mechanism Supporting Large-Scale Grid Application
An Important Facial Parts Analysis for Evaluating the Impression - Difference by Gender
The Surplus Partition in a Simultaneous Offers Bargaining Game
An Information Hiding Scheme for the MDC-OFDM Wireless Networks
A Covert Communication Scheme for the DCT Based Image Multiple Description Coding System
A GPU-Based DRR Generation Method Using Cubic Window
Shot Segmentation and Classification in Basketball Videos
Vehicle Detection in Nighttime Environment by Locating Road Lane and Taillights
A New Face Recognition Scheme with Renewable Templates
An Investigation of Genetic Algorithm on Steganalysis Techniques
Fast Implementation of SMS4 Cryptographic Algorithms on Smart Card
Tally Based Digital Audio Watermarking
Detection of H.264 Shot Change Using Intra Predicted Direction
A Known-Key Scenario for Steganalysis and a Highly Accurate Detector within It
Feature Extraction Based on Nearest Feature Line and Compressive Sensing
An FPGA-Based Communication Scheme of Classical Channel in High-Speed QKD System
Fast Intra Prediction Mode Decision Algorithm for H.264/AVC Video Coding Standard
The Research of Video Matching Algorithm Based on Spatio-temporal Feature
Face Detection with Automatic White Balance for Digital Still Camera
Text Independent Speaker Verification Based on Mixing ICA Overcomplete Basis Functions
Steganalysis in the Presence of Watermarked Images
Compatible 2D-Code Having Tamper Detection System with QR-Code
Energy Consumption Analysis for Sensors in Multi-sink Wireless Sensor Networks
Robust Near-Reversible Data Embedding Using Histogram Projection
H.264/AVC Video Encoder Algorithm Optimization Based on TI TMS320DM642
Reversible Authentication and Cross-Recovery of Images Using (t, n) Threshold and Modified-RCM Watermarking
Picture Watermarks Surviving General Affine Transformation and Random Distortion
Multi-user Video Streaming over Multi-hop Wireless Networks: A Cross-Layer Priority Queuing Scheme
Codec Design for Variable-Length to Fixed-Length Data Conversion for H.263
A Digital Fingerprint Scheme Based on MPEG-2
Applying Feature Extraction of Speech Recognition on VOIP Auditing
Low-Complexity Algorithm of Recursive Analysis and Synthesis Quadrature Mirror Filterbanks for Digital Radio Mondiale
Robust Data Hiding by Hilbert Curve Decomposition
A Low Complexity Loglikelihood Ratio Scheme in Coded Multiple-Input Multiple-Output Systems
Steganalysis of Youtube Compressed Video Using High-order Statistics in 3D DCT Domain
Enabled SIP-Based Multimedia Services with MPLS Technology in Ad Hoc Wireless Networks
Pseudo Identities Based on Fingerprint Characteristics
Image Robust Hashing Based on DCT Sign
Security Monitoring by Watermarking and Hashing for Multimedia Service on Internet Platform
An Efficient Source Authentication for Multicast Based on Merkle Hash Tree
Introducing a New Method for Estimation Image Complexity According To Calculate Watermark Capacity
Proposal of Digital Forensic System Using Security Device and Hysteresis Signature
Eighth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIH-MSP 2012, Piraeus-Athens, Greece, July 18-20, 2012
An Improved Secret Key Estimation Method for Sequential Steganography
Design and Implementation of Waterworks Operation Data Real-Time Detection and Processing System
Image Watermarking in Face Recognition Systems Based on Contourlet Transform
The Adaptive Recommendation Segment Mechanism to Reduce Traffic Congestion in Smart City
Frequency-Tuned Nighttime Brake-Light Detection
A Method for Decoding the (24, 15, 5) Cyclic Code
Recent Advances in Intelligent Information Hiding and Multimedia Signal Processing - Proceeding of the Fourteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, November, 26-28, 2018, Sendai, Japan, Volume 2
Multi-threshold Image Segmentation Based on Firefly Algorithm
Multi Path Based on Cache Notification Algorithm in Wireless Sensor Networks
Efficient Data Augmentation Using Graph Imputation Neural Networks
Road Extraction in Remote Sensing Images Using a New Algorithm
Design of High Gain Planar Dipole Array Antenna for WLAN Application
The AES Design Space Exploration with a Soft IP Generator
Data Hiding Scheme Based on Features of Chinese Text
Research and Analysis of Bias Voltage on Variable-Capacitance Micro-mechanical Accelerometer
Dominant Color Embedded Markov Chain Model for Object Image Retrieval
A Watermarking Method for Printed QR Code Based on Module Expansion
Discharge Summaries Classifier
An Error Concealment Algorithm Based on Non-uniform Lagrange Interpolation
A New Optimum Detection Scheme for Additive Watermarks Embedded in Spatial Domain
Multi-channel Audio Compression Method Based on ITU-T G.719 Codec
Perceptually Transparent Information Hiding in G.729 Bitstream
Data Collection and Analysis for Automatically Generating Record of Human Behaviors by Environmental Sound Recognition
Advanced Color Images Enhancement Using Wavelet and K-means Clustering
Particle Swarm Optimization Enhancement by Applying Global Ratio Based Communication Topology
The Altinn Case Study: Proposal for a Large-Scale Public-Key Biometric Infrastructure
Evaluation of English Speech Recognition for Japanese Learners Using DNN-Based Acoustic Models
Potential of Value-Added Speech Communications by Using Steganography
Efficient Moving Object Extraction in Compressed Low-Bit-Rate Video
Blurred Image Restoration Using Fast Blur-Kernel Estimation
Quality goes online: new challenges for Distance Education
Developing a local framework for quality in an online learning environment: a case study
Using concept maps to improve the quality of learning law at a distance
What do we need to know about e-learning standards?
Knowledge networks and inter-organisational learning in the context of information industry: issues for quality management
Developing an evaluation methodology for ICT supported learning: enhancing and promoting quality through 'change knowledge'
A QoS-aware network supporting an E-learning framework
Establishing quality online: supporting productive academic teams
Quality practice in computer supported collaborative learning: identifying research gaps and opportunities
Students' perspective of online learning
Quality assurance and quality development: what will make a difference?
Overview of stream C: Measuring quality: evaluation and assessment
Improving the quality of distance education through online learning
Quality model for multi-level course specification and delivery
Regulation of training systems for adults in educational technology
CMC to support an online learning environment
Preserving the 'human quality' in education at a distance
Components of quality in distance education: distance education guidelines from different countries
The challenge of measuring E-learning quality: some ideas from HCI
Overview of stream D: Administration and policy to support quality education @ a distance
Enhancing distance learning using quality digital libraries and CITIDEL
Improving distance education through Programme Quality Assurance
Globalisation and reflexivity: some challenges for research into quality education mediated by ICTs
Systems support for virtualizing traditional courses in science and engineering
Overview of stream A: Quality of systems that support online learning
Quality @ a distance includes preservice teachers: one democratic approach
Perspectives on the quality of online education: new conceptions of curriculum, student roles and learning?
Quantifying quality: an examination of the factors which define 'quality' in a professional development program
Actor network theory and the study of online learning: new perspectives on quality
Necessary aspects of quality in e Learning systems
Quality Education @ a Distance, IFIP TC3/WG3.6 Working Conference on Quality Education @ a Distance, February 3-6, Geelong, Australia
Factors influencing quality online learning experiences
Building productive online learning communities: investigating and interacting with internet educational genres
Overview of stream B: Quality of teaching and learning experiences
Digital libraries: quality resources for distance education
Evaluation for knowledge: an approach to supporting the quality of learners' community in higher education
Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs
A New Functional-Logic Compiler for Curry: Sprite
Replacement Can Preserve Termination
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
A Method for the Determinisation of Propositional Temporal Formulae
Grids: A Domain for Analyzing the Distribution of Numerical Values
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Characterisations of Termination in Logic Programming
Proving Termination with Adornments
Imperative Program Specialisation: An Approach Using CLP
Automated Certification of Logic Program Groundness Analysis
Constructive Specifications for Compositional Units
Reductions of Petri Nets and Unfolding of Propositional Logic Programs
Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL
Information Flow in Object-Oriented Software
Combining Top-Down and Bottom-Up Techniques in Program Derivation
Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Using Real Relaxations during Program Specialization
Modular Logic Program Refinement
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
The Use of Renaming in Composing General Programs
Coinductive Soundness of Corecursive Type Class Resolution
A Program Transformation for Tracing Functional Logic Computations
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types
Measuring the Effectiveness of Partial Evaluation
A Type-Theoretic Approach to Resolution
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
Success in Logic Programs
Deductive Synthesis of Programs for Query Answering
Automatic Generation of Test Inputs for Mercury
A General Framework for Static Cost Analysis of Parallel Logic Programs
Exhaustive Execution of CHR Through Source-to-Source Transformation
Higher-order transformation of logic programs
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
From Interpreter to Logic Engine by Defunctionalization
On the Semantics of Logic Program Composition
Memoing Evaluation by Source-to-Source Transformation
Analysis of Logic Programs with Delay
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
Combining Static and Dynamic Contract Checking for Curry
On the Inference of Natural Level Mappings
Abstract Diagnosis of First Order Functional Logic Programs
Programs Without Failures
Non-Determinism and Lazy Evaluation in Logic Programming
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs
Forms of Logic Specifications: A Preliminary Study
Enhancing Declarative Debugging with Loop Expansion and Tree Compression
Synthesis of Asynchronous Systems
Denotation by Transformation
Symbolic Verification with Gap-Order Constraints
A Technique for Modular Logic Program Refinement
From Infinity to Choreographies - Extraction for Unbounded Systems
Improving Determinization of Grammar Programs for Program Inversion
Program Synthesis for Geometric Modeling
Unfolding the Mystery of Mergesort
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples
Declarative Compilation for Constraint Logic Programming
Introducing Quantification into a Hierarchical Graph Rewriting Language
Snapshot Generation in a Constructive Object-Oriented Modeling Language
On Deforesting Parameters of Accumulating Maps
Prefix-Based Tracing in Message-Passing Concurrency
Towards a Certified Proof Checker for Deep Neural Network Verification
Program Specification and Synthesis in Constructive Formal Systems
Impact and Performance of Randomized Test-Generation Using Prolog
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables
A Multi-level Approach to Program Synthesis
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Extensible Logic Program Schemata
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Synthesis of Programs in Computational Logic
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems
An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations
Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems
Prolog and abduction 4 writing garbage collectors
Using Abstract Interpretation for Goal Replacement
Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Pattern Eliminating Transformations
Correct OO Systems in Computational Logic
A Logical Encoding of Timed $$\pi $$ -Calculus
A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
A Fixed Point Semantics for Logic Programs Extended with Cuts
Computing More Specific Versions of Conditional Rewriting Systems
A Transformational Approach to Resource Analysis with Typed-Norms
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
Static Analysis for Safe Destructive Updates in a Functional Language
Multiparty Classical Choreographies
Semantic Code Clones in Logic Programs
A Generic Intermediate Representation for Verification Condition Generation
Synthesis of Programs in Abstract Data Types
Some Further Issues in Finite Unfolding (Abstract)
The lazy functional side of logic programming
A minimal specification language
Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae
A Higher Order Reconstruction of Stepwise Enhancement
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments
An Algorithm for Local Variable Elimination in Normal Logic Programs
A Finite Representation of the Narrowing Space
Symbolic Computation in Maude: Some Tapas
Higher-Order Pattern Unification Modulo Similarity Relations
Searching Semantically Equivalent Code Fragments in Logic Programs
Conjunctive Partial Deduction in Practice
Towards Scalable Partial Evaluation of Declarative Programs
Towards Stepwise, Schema-guided Synthesis of Logic Programms
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract)
Towards a Framework for Constraint-Based Test Case Generation
Three Syntactic Theories for Combinatory Graph Reduction
Semantics-based Partial Evaluation of Prolog Programs
Program Analysis and Manipulation to Reproduce Learners' Erroneous Reasoning
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
An Argumentation-Theoretic Approach to Logic Program Transformation
Preserving Termination of Tabled Logic Programs While Unfolding
Building a Join Optimizer for Soufflé
The LOPS Approach: A Transformational Point of View (Extended Abstract)
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs
Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
Schema-Based Transfomations of Logic Programs
Non-termination Analysis of Logic Programs Using Types
Extracting Exact Time Bounds from Logical Proofs
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration
Typed SLD-Resolution: Dynamic Typing for Logic Programming
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications
On the Mechanics of Metasystem Hierarchies in Program Transformation
Reachability Analysis for the Extension Procedure - A Topological Result
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis
Transformation Rules for Locally Stratified Constraint Logic Programs
A Certified Functional Nominal C-Unification Algorithm
Herbrand Constraints in HAL
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System
ARM: Automatic Rule Miner
CHR in Action
A Generic Framework for Context-Sensitive Analysis of Modular Programs
A Transformational Approach for Proving Properties of the CHR Constraint Store
A Typed Language for Events
Model Checking Meets Auto-Tuning of High-Performance Programs
Synthesis of Programs from Unfold/Fold Proofs
Checking Java Assertions Using Automated Test-Case Generation
Constrained Regular Approximation of Logic Programs
A Framework for Developing Embeddable Customized Logics
Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints
Using Rewrite Strategies for Testing BUpL Agents