yusuke1997/dblp-id-title huggingface dataset:
(In)Security of an Efficient Fingerprinting Scheme with Symmetric and Commutative Encryption of IWDW 2005
A Robust Video Watermarking Scheme Via Temporal Segmentation and Middle Frequency Component Adaptive Modification
An Intelligent Watermark Detection Decoder Based on Independent Component Analysis
Privacy Preserving Facial and Fingerprint Multi-biometric Authentication
Camera Model Identification Based on the Characteristic of CFA and Interpolation
Error Resilient Image Authentication Using Feature Statistical and Spatial Properties
ViWiD : Visible Watermarking Based Defense Against Phishing
Reversible Watermarking Using Prediction Error Histogram and Blocking
An Adaptive Video Steganography Based on Intra-prediction Mode and Cost Assignment
Using Contrastive Learning to Improve the Performance of Steganalysis Schemes
Digital Watermarking, 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings
Estimating the Information Theoretic Optimal Stego Noise
Echo Watermarking in Sub-band Domain
A New Watermarking Method with Obfuscated Quasi-Chirp Transform
Completely Separable Reversible Data Hiding in Encrypted Images
On Perceptual Quality of Watermarked Images - An Experimental Approach
Privacy-Preserving Image Scaling Using Bicubic Interpolation and Homomorphic Encryption
Website Fingerprinting Attack on Psiphon and Its Forensic Analysis
A Robust Watermarking Scheme for H.264
Face Morphing Detection: An Approach Based on Image Degradation Analysis
Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning
Evaluation of Feature Extraction Techniques for Robust Watermarking
Robust AVS Audio Watermarking
Secure Multilayer Perceptron Based on Homomorphic Encryption
Blind Digital Watermarking of Low Bit-Rate Advanced H.264/AVC Compressed Video
Robust Content-Based Image Hash Functions Using Nested Lattice Codes
Geometric Invariant Domain for Image Watermarking
Towards Lower Bounds on Embedding Distortion in Information Hiding
A Generalization of an Anonymous Buyer-Seller Watermarking Protocol and Its Application to Mobile Communications
On the Statistical Properties of Syndrome Trellis Coding
Digital Watermarking, 7th International Workshop, IWDW 2008, Busan, Korea, November 10-12, 2008. Selected Papers
Improved Differential Energy Watermarking for Embedding Watermark
Improved High Capacity Spread Spectrum-Based Audio Watermarking by Hadamard Matrices
Watermarking for Authentication of LZ-77 Compressed Documents
RST-Resistant Image Watermarking Using Invariant Centroid and Reordered Fourier-Mellin Transform
Enhanced Matching Method for Copy-Move Forgery Detection by Means of Zernike Moments
Multi Bit Plane Image Steganography
Reversible and Robust Audio Watermarking Based on Quantization Index Modulation and Amplitude Expansion
Detecting Photographic Composites of People
Digital Forensics and Watermarking - 16th International Workshop, IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings
Towards Multi-class Blind Steganalyzer for JPEG Images
An Improved Reversible Difference Expansion Watermarking Algorithm
Robust Imperceptible Video Watermarking for MPEG Compression and DA-AD Conversion Using Visual Masking
The Changing Face of Cryptography
Defocused Image Splicing Localization by Distinguishing Multiple Cues between Raw Naturally Blur and Artificial Blur
Detecting Digital Image Splicing in Chroma Spaces
Variable Multi-dimensional Co-occurrence for Steganalysis
Robust Local Watermarking on Salient Image Areas
Steganalysis Using High-Dimensional Features Derived from Co-occurrence Matrix and Class-Wise Non-Principal Components Analysis (CNPCA)
Countermeasures for Collusion Attacks Exploiting Host Signal Redundancy
Arbitrary-Sized JPEG Steganalysis Based on Fully Convolutional Network
Reversible Data Hiding Scheme in Encrypted-Image Based on Prediction and Compression Coding
Enhancement Methods of Image Quality in Screen Mark Attack
Image Noise and Digital Image Forensics
New Public-Key Authentication Watermarking for JBIG2 Resistant to Parity Attacks
Steganography Based on Grayscale Images Using (5, 3) Hamming Code
A Distributed Scheme for Image Splicing Detection
Forensic Techniques for Image Source Classification: A Comparative Study
Watermarking, a Mature Technology - Retrospect and Prospect
A Multi-purpose Image Counter-anti-forensic Method Using Convolutional Neural Networks
Pixel-Value-Ordering Based Reversible Data Hiding with Adaptive Texture Classification and Modification
Detection of Tampering Inconsistencies on Mobile Photos
Lightweight DCT-Like Domain Forensics Model for Adversarial Example
Progressive Visual Secret Sharing with Multiple Decryptions and Unexpanded Shares
Reversible Data Hiding Using Prediction Error Values Embedding
Secure Mutual Distrust Transaction Tracking Using Cryptographic Elements
Segmentation Based Steganalysis of Spatial Images Using Local Linear Transform
A Multistage VQ Based Watermarking Technique with Fake Watermarks
Optimum Histogram Pair Based Image Lossless Data Embedding
Behavioral Security in Covert Communication Systems
A Steganalysis Scheme for AAC Audio Based on MDCT Difference Between Intra and Inter Frame
A Counter-Geometric Distortions Data Hiding Scheme Using Double Channels in Color Images
Combination of SIFT Feature and Convex Region-Based Global Context Feature for Image Copy Detection
High-Capacity Invisible Background Encoding for Digital Authentication of Hardcopy Documents
Image Quality Assessment in Reversible Data Hiding with Contrast Enhancement
High-Performance Linguistic Steganalysis, Capacity Estimation and Steganographic Positioning
A Novel Approach for JPEG Steganography
Watermarking Techniques for Electronic Circuit Design
Halftone Image Steganography with Distortion Measurement Based on Structural Similarity
Robust Median Filtering Detection Based on Filtered Residual
A Novel Real-Time MPEG-2 Video Watermarking Scheme in Copyright Protection
Watermarking Is Not Cryptography
Flaws in Generic Watermarking Protocols Based on Zero-Knowledge Proofs
High Quality Perceptual Steganographic Techniques
Trellis-Coded Rational Dither Modulation for Digital Watermarking
Normalization Domain Watermarking Method Based on Pattern Extraction
Data Forensics Constructions from Cryptographic Hashing and Coding
Performance Measurement of Watermark Embedding Patterns
Robust Audio Watermarking Based on Log-Polar Frequency Index
A High Performance Multi-layer Reversible Data Hiding Scheme Using Two-Step Embedding
On the Existence of Perfect Stegosystems
Modify the Quantization Table in the JPEG Header File for Forensics and Anti-forensics
Weaknesses of MB2
Effect of Different Coding Patterns on Compressed Frequency Domain Based Universal JPEG Steganalysis
An Efficient Pattern Substitution Watermarking Method for Binary Images
Scalable Protection and Access Control in Full Scalable Video Coding
A Novel Hybrid Image Authentication Scheme for AMBTC-Compressed Images
Digital-Forensics and Watermarking - 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers
A Drift Compensation Algorithm for H.264/AVC Video Robust Watermarking Scheme
Using RZL Coding to Enhance Histogram-Pair Based Image Reversible Data Hiding
Optimized CNN with Point-Wise Parametric Rectified Linear Unit for Spatial Image Steganalysis
Digital Watermarking, Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers
Reversible Data Hiding for Encrypted Audios by High Order Smoothness
A Machine Learning Approach to Approximate the Age of a Digital Image
Effective Video Copy Detection Using Statistics of Quantized Zernike Moments
New Paradigm for Self-embedding Image Watermarking with Poisson Equation
Distortion Function for Spatial Image Steganography Based on the Polarity of Embedding Change
Analysis of Optimal Search Interval for Estimation of Modified Quantization Step Size in Quantization-Based Audio Watermark Detection
GRU-SVM Model for Synthetic Speech Detection
Image Visually Meaningful Cryptography Based on Julia Set Generating and Information Hiding
Tampered Region Localization of Digital Color Images Based on JPEG Compression Noise
A Statistical Model for Quantized AC Block DCT Coefficients in JPEG Compression and its Application to Detecting Potential Compression History in Bitmap Images
Zero-Watermarking Based on Improved ORB Features Against Print-cam Attack
An Iterative Management Model of Exploring Windows Date-Time Stamps in Cloud Storage Forensics
Hiding a Secret Pattern into Color Halftone Images
Multiple Scrambling and Adaptive Synchronization for Audio Watermarking
Detecting Video Forgery by Estimating Extrinsic Camera Parameters
An Adaptive Reversible Data Hiding Scheme for JPEG Images
Robust and Imperceptible Watermarking Scheme for GWAS Data Traceability
Resilient Information Hiding for Abstract Semi-structures
Reading Watermarks from Printed Binary Images with a Camera Phone
Camera Source Identification Game with Incomplete Information
A High Capacity Steganographic Algorithm in Color Images
Cheating Detection in (k, n) Secret Image Sharing Scheme
On the Sharing-Based Model of Steganography
Robust Wavelet-Based Information Hiding through Low-Density Parity-Check (LDPC) Codes
Source Camera Model Identification Using Features from Contaminated Sensor Noise
Steganalysis in the Presence of Weak Cryptography and Encoding
High-Quality PRNU Anonymous Algorithm for JPEG Images
Increasing Secret Data Hiding Capacity in QR Code Using 3 \times 3 3 × 3 Subcells
Generalized Histogram Shifting-Based Blind Reversible Data Hiding with Balanced and Guarded Double Side Modification
Data-Dependent Scaling of CNN's First Layer for Improved Image Manipulation Detection
Modification of Polar Echo Kernel for Performance Improvement of Audio Watermarking
A Digital Forgery Image Detection Algorithm Based on Wavelet Homomorphic Filtering
A Reversible Watermarking Based on Histogram Shifting
Watermarking for Digital Audio Based on Adaptive Phase Modulation
Adaptive Threshold Based Robust Watermark Detection Method
Watermarking for 3D Keyframe Animation Based on Geometry and Interpolator
The Marriage of Cryptography and Watermarking - Beneficial and Challenging for Secure Watermarking and Detection
Saliency-Based Region Log Covariance Feature for Image Copy Detection
Anti-forensics of Image Sharpening Using Generative Adversarial Network
Convolutional Neural Network for Larger JPEG Images Steganalysis
DWT and QR Code Based Watermarking for Document DRM
A Generalized Method for Constructing and Proving Zero-Knowledge Watermark Proof Systems
Improving the Transferability of Adversarial Attacks Through Both Front and Rear Vector Method
Use of Motion Estimation to Improve Video Watermarking for MPEG Encoders
Block-Based Convolutional Neural Network for Image Forgery Detection
Detecting Double H.264 Compression Based on Analyzing Prediction Residual Distribution
An Image Perceptual Hashing Algorithm Based on Convolutional Neural Networks
A Practical Real-Time Video Watermarking Scheme Robust against Downscaling Attack
VPCID - A VoIP Phone Call Identification Database
Limiting Factors in Smartphone-Based Cross-Sensor Microstructure Material Classification
Analysis and Comparison of Typical Reversible Watermarking Methods
Digital Forensics and Watermaking - 11th International Workshop, IWDW 2012, Shanghai, China, October 31 - November 3, 2012, Revised Selected Papers
Automatic Anonymous Fingerprinting of Text Posted on Social Networking Services
Watermarking of 3D Irregular Meshes Based on Wavelet Multiresolution Analysis
A Colorization Based Animation Broadcast System with Traitor Tracing Capability
A Novel Lossless Data Hiding Scheme in Homomorphically Encrypted Images
Superpixel-Based Watermarking Scheme for Image Authentication and Recovery
A Robust Watermarking for MPEG-2
A Hybrid Feature Model for Seam Carving Detection
A Reversible Data Hiding Algorithm for JPEG Image Based on Paillier Homomorphic Encryption
Blind Detection of Digital Forgery Image Based on the Local Entropy of the Gradient
Blind Quantitative Steganalysis Based on Feature Fusion and Gradient Boosting
New Forensic Methods for OOXML Format Documents
Rapid Image Splicing Detection Based on Relevance Vector Machine
WfBench: Automated Generation of Scientific Workflow Benchmarks
Going green: optimizing GPUs for energy efficiency through model-steered auto-tuning
AppEKG: A Simple Unifying View of HPC Applications in Production
Exploiting the Potentials of the Second Generation SX-Aurora TSUBASA
Understanding power variation and its implications on performance optimization on the Cori supercomputer
Accelerating High-Order Stencils on GPUs
IEEE/ACM International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, PMBS@SC 2022, Dallas, TX, USA, November 13-18, 2022
2021 International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS 2021), St. Louis, MO, USA, November 15, 2021
Time-series ML-regression on Graphcore IPU-M2000 and Nvidia A100
Performance Modeling of Streaming Kernels and Sparse Matrix-Vector Multiplication on A64FX
ML-based Performance Portability for Time-Dependent Density Functional Theory in HPC Environments
MicroBench Maker: Reproduce, Reuse, Improve
Using the Semi-Stencil Algorithm to Accelerate High-Order Stencils on GPUs
Warwick Data Store: A Data Structure Abstraction Library
Frontier vs the Exascale Report: Why so long? and Are We Really There Yet?
A Methodology for Evaluating Tightly-integrated and Disaggregated Accelerated Architectures
Enabling Cache Aware Roofline analysis with Portable Hardware Counter Metrics
Evaluating ISO C++ Parallel Algorithms on Heterogeneous HPC Systems
2020 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, PMBS@SC 2020, Atlanta, GA, USA, November 12, 2020
Memory Demands in Disaggregated HPC: How Accurate Do We Need to Be?
Developing Models for the Runtime of Programs With Exponential Runtime Behavior
Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization
Bayesian Optimization for auto-tuning GPU kernels
High-Performance GMRES Multi-Precision Benchmark: Design, Performance, and Challenges
The Performance and Energy Efficiency Potential of FPGAs in Scientific Computing
An Extended Roofline Performance Model with PCI-E and Network Ceilings
Performance Analysis with Unified Hardware Counter Metrics
OMPICollTune: Autotuning MPI Collectives by Incremental Online Learning
Evaluation of the Communication Motif for a Distributed Eigensolver using the SST Network Simulation Tool
Architectural Requirements for Deep Learning Workloads in HPC Environments
Comparing Julia to Performance Portable Parallel Programming Models for HPC
Benchmarking Julia's Communication Performance: Is Julia HPC ready or Full HPC?
Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations
An Initial Evaluation of Arm's Scalable Matrix Extension
Narrowing the Search Space of Applications Mapping on Hierarchical Topologies
Evaluating the Performance of NVIDIA's A100 Ampere GPU for Sparse and Batched Computations
Benchmarking Fortran DO CONCURRENT on CPUs and GPUs Using BabelStream
Exploration of Congestion Control Techniques on Dragonfly-class HPC Networks Through Simulation
Lightweight Measurement and Analysis of HPC Performance Variability
Multilevel simulation-based co-design of next generation HPC microprocessors
Performance Trade-offs in GPU Communication: A Study of Host and Device-initiated Approaches
A Comprehensive Evaluation of Novel AI Accelerators for Deep Learning Workloads
Requirement Analysis for Communication Protocols
MEC: A System for Constructing and Analysing Transition Systems
Verification by Abstraction and Bisimulation
Parallel Protocol Verification: The Two-Phase Algorithm and Complexity Analysis
Implementing a Model Checking Algorithm by Adapting Existing Automated Tools
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings
Automated Verification of Timed Transition Models
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language
Modal Specifications
Testing Equivalence as a Bisimulation Equivalence
Verifying Properties of Large Sets of Processes with Network Invariants
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore
Process Calculi, from Theory to Practice: Verification Tools
Temporal Logic Case Study
A Method for Verification of Trace and Test Equivalence
Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications
On-Line Model Checking for Finite Linear Temporal Logic Specifications
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition
Combining CTL, Trace Theory and Timing Models
Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover
The Concurrency Workbench
Verification of Synchronous Sequential Machines Based on Symbolic Execution
State Exploration by Transformation with LOLA
Network Grammars, Communication Behaviors and Automatic Verification
Projections of the Reachability Graph and Environment Models
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
Fair SMG and Linear Time Model Checking
CCS, Liveness, and Local Model Checking in the Linear Time Mu-Calculus
Localized Verification of Circuit Descriptions
Timing Assumptions and Verification of Finite-State Concurrent Systems
The Complexity of Collapsing Reachability Graphs
Towards using game semantics for crypto protocol verification: Lorenzen games
Infinite trace equivalence
Synchronous games, simulations and lambda-calculus
An infinite-game semantics for negation in logic programming
A game semantics of the asynchronous pi-calculus and its dual
A unified model checking framework for the supervisor synthesis problem
Abstract games
Constructive semantics for instantaneous reactions
Functions with local state: from regularity to undecidability
Information and information flow in game semantics
1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005
Affine strategies in arena games
Time and games
Abstraction-refinement for game-based model checking
Concrete data structures as games
Games with 1-backtracking
Categorical and game semantics for SCIR
A game semantics for proof search: preliminary results
A games semantics for reductive logic and proof-search
Nonlinear preprocessing for MPEG-2 video sequences
A robust feature-based technique for watermarking frontal face images
Analysis of chaotic signals in the time-frequency plane
Nonlinear filters with symmetry constraints
Properties of eigenfunctions of canonical integral transform
The MSE reconstruction criterion for independent component ordering in ICA timeseries analysis
Nonlinear statistical signal processing: Useful theorems and their application
Recursive median filtering with partial replaces
A multiplicative colour watermark
Low bit rate sigma filtered perceptual image coding
A superfast convolution technique for Volterra filtering
Comparison of component and vector filter performance with application to multichannel and color image processing
Integer wavelet transforms based lossless audio compression
Invariant 2D object recognition using the modulus maxima of a continuous wavelet transform
Raising the level of abstraction: A signal processing system design course
A classical morphological approach to color image filtering based on space filling curves
An MCF based on Gabor functions to analyze remote sensed images
Nonlinear methods for the identification of 2D models with long-range dependence
Modelling of color scanners using neural networks
Nonlinear modeling and its prediction range
A modified chaotic associative memory system for gray-scale images
Adaptive Volterra filters for nonlinear acoustic echo cancellation
A subgradient projection algorithm for nondifferentiable signal recovery
On the use of Blind channel equalization in the HF Communication
Multichannel signal processing using spatial rank covariance matrices
Nonlinear processing in auditory system
Recovery of satellite images using edge information of actual image
A new design methodology for L-filters
Block redundant constant modulus algorithm for channel-irrespective blind identifiability
Morphological scale-space theory for segmentation problems
Design of delta-filters using linear prototypes
Quantum-Dot cells and their suitability for nonlinear signal processing
Thresholding estimators for minimax restoration and deconvolution
Nonlinear image processing through sequences of fast cellular neural networks (FCNN)
Neural network models in the inversion of multidimensional ionograms
Design constraints for polynomial and rational filters
Combination of transform based denoising and stack filtering for non-Gaussian noise suppression
Application of fuzzy networks to air-target recognition
A method for nonlinear system classification in the time-frequency plane in presence of fractal noise
Signal estimation in chaos using nonlinear prediction
A recurrent neural network speech predictor based on dynamical systems approach
A combined stochastic/decision-aided SNR estimator
Adaptively varying transform size selection by ICI rule for transform domain image denoising
Adaptive method for 1-D signal processing based on nonlinear filter bank and Z-parameter
Kurtosis maximization for blind identification of nonlinear communication channels
Automated inspection of PCB's using a novel approach
Combining linear and non-linear processing in the time and in the spectral domain for non-stationary noise filtering
Adaptive recursive higher order polynomial filter
Iterative procedures for nonlinear filtering of images
Output distributional influence function
Further study of adaptive supervised learning decision (ASLD) network in stock market
X-rays image segmentation
Nonlinear signal processing and nonuniform linear antenna array design for DOA estimation of coherent sources
Performance assessment of morphological dynamic link architecture under optimal and real operating conditions
A hybrid learning vector quantization/Time-delay neural networks system for the recognition of Arabic speech
Higher order statistics based texture analysis method for defect inspection of textile products
MCMC methods for restoration of quantised time series
Removal of blotches and line scratches from film and video sequences using a digital restoration chain
Levy processes for image modelling
Video object segmentation by extended recursive-shortest-spanning-tree method
Region number determination in automatic image segmentation based on BKYY model selection criterion
Fabric handle prediction using neural networks
ODIF for morphological filters
Use of model confusion learning for speaker identification A rule-based approach
Hausdorff distance and fractal dimension estimation by mathematical morphology revisited
Analysis of morphological surface profile extraction with multiple sonar range measurements
Proceedings of the IEEE-EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP'99), Antalya, Turkey, June 20-23, 1999
Wavelets and their usage on the medical image compression with a new algorithm
An object-based approach to similar image retrieval
2-Dimensional stochastic resonance in a discrete time nonlinear system with a noisy elliptic input
Higher order statistics and spectra analysis of sleep spindles
On the design of perfect reconstruction multiwavelet filter banks
A family of nonlinear equalizers: Sub-optimal Bayesian classifiers
A comparison between Kriging and radial basis function networks for nonlinear prediction
Color texture morphology
Nonlinear system identification using higher order statistics
Mapping image restoration to a graph problem
Prediction of pixels in an arbitrary region from pixels on the region boundary