yusuke1997/dblp-id-title huggingface dataset:
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
Confessions of a Formal Methodist
A Product-Based Assurance Model for Mixed-Integrity Markets
Calculating Train Braking Distance
Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002
Software Safety: Where's the Evidence?
SIL Rating Fire Protection Equipment
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces
A New Component Concept for Fault Trees
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
A Contract-based Approach to Designing Safe Systems
: Functional Safety of a Theatre Stage Machinery Control System
Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001
Contract-Based Justification for COTS Component within Safety Critical Applications
Airborne Collision Avoidance System
Measuring Safety: Applying PSM to the System Safety Domain
A Community Club on Safety-Critical Systems
Safety Assurance Contracts for Integrated Modular Avionics
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003
Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679
COTS - Size Does Matter
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions
Beginning to Define a Body of Knowledge for Safety Practitioners
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
Construction of Finite Non-separable Orthogonal Filter Banks with Linear Phase and Its Application in Image Segmentation
Application of Bi-Orthogonal Wavelet Transform in the De-Noising of Gyro Signal
A Wavelet-Based Digital Watermarking Algorithm
One of Image Compression Methods Based on Biorthogonal Wavelet Transform and LBG Algorithm
Wavelet Transform for Multiple Decomposition of Gravity Anomalies
Analysis of the DLA-Process with Gravitational internation of Particles and Growing Cluster
Pre-Processing Design for Multiwavelet Filters Using Neural Networks
A New Orthogonal Multiwavelet Network for Function Approximation
Exact Solutions for Rotation Fluid Equation
Starting Characteristic Testing and Analysis of Ultrasonic Motor Based on Wavelet Transformation
Construction on Orthogonal Multiwavelets for Derivatives of Multivariante Vector Scaling Function with Compact Support
The Research of Mechanical Fault Diagnosis on Wavelet Packet Transform
A Special Poison Sum and its Applications
Wavelet Lossy and Lossless Compression Techniques for Image
Wavelet-Domain Least Squares Based Image Superresolution
Construction of 2-D Mother Wavelet from 1-D Mother Wavelet by Inverse Projecting
Digital Watermark Based on Wavelet Transform for Audio Signals
Measuring Image Digital Watermarking Scheme Based on Multi-Channel Watermarking Model in Wavelet Domain
The Application Research of Wavelet Analysis in Medical Image Processing
Image-Feature Based Second Generation Watermarking in Wavelet Domain
Wavelets Analysis on the Feature Collection and the Influencing Factors of the Surface Roughness in Vibratory Machining
Application of Wavelet-De-Noising and Multiresolution Analysis in the Recognition of Turbulent Coherent Structure
The Design of Discrete Wavelet Transformation Chip
A Wavelet Multiresolution Edge Analysis Method for Recovery of Depth from Defocused Images
The Properties of Biorthogonal Multiwavelet Packets with Scale-a
Extraction of the Mutative Rule of Stock Index Using Singularity Dection Technology
Similar Image Retrieval Based on Wavelet Transformation
Robust-M Detection of Signal Based on Wavelet Packet Transform
A New Image Enhancement and Object Obtaining Method in the Environment of Low Contrast and Strong Background Noise
Speech Signal Deconvolution Using Wavelet Filter Banks
Iris Image Analysis and Reconstruction Based on Zero-Crossing Wavelet Transform
Skeleton Extraction of Ribbon-Like Shapes Based on Wavelet Transform
The Relationship between Wavelet Bases and Image Compression
Inter-Scale Dependency Based Adaptive Shrinkage De-Nosing for Image
Text Extraction Based on Nonlinear Frame
Accelerating Convergence of Monte Carlo Simulations and Measuring Weak Biosignals Using Wavelet Threshold Denoising
Joint Time-Frequency Distributions for Business Cycle Analysis
Wavelet-Based Video Compression Using Long-Term Memory Motion-Compensated Prediction and Context-Based Adaptive Arithmetic Coding
Adaptive De-Noising of Low SNR Signals
Assessing Harmonic Impedance by Synchronous Wavelet Transform
A Software System for Analog-Circuit Fault Diagnosis Based on Wavelet Analysis
Recognition of Oceanic Explosion Signals Based on Wavelet Packet Transform and Neural Network
Embedded Zerotree Wavelet Coding of Image Sequence
Strong Convergence for Generalized Abstract Evolutionary Algorithm
Multiscale Kalman Filtering of Fractal Signals Using Wavelet Transform
Segmentation of Ultrasonic Medical Image Based on Wavelet Transform and Mathematical Morphology
The Fingerprint Image Noise Reducing and Minutia Matching in Verification
Data Compression by Orthogonal Multiwavelets of Multiplicity Four
Study of Image Wavelet De-Noising and Compression Scheme
Beam Bending Analysis Using Wavelet Finite Element
A New JPEG2000 Region-of-interest Image Coding Method: Foveal Shift
Hybrid Representations of Audiophonic Signals
Global Distortion Optimal Bit Allocation Scheme for Image Compression
Wavelet Packets for Lighting-Effects Determination
DNA Sequences Classification Based on Wavelet Packet Analysis
An Iris Recognition System Including Acquistion and Locating as well as Texture Representation
The Wavelets Characterization of Weighted Triebel-Lizorkin Spaces
An Application of Fault Diagnosis for Bearings in the Gearbox of the Propelled Gun Using Wavelet
Demodulation by Complex-Valued Wavelets for Stochastic Pattern Recognition: How Iris Recognition Works
An Wavelet-Fractal Neural Network Used in Cutting Tools Wear Monitoring
Biothogonal Wavelets Research Based on Lifting Scheme
Fat Wavelet-Based Video Codes and its Application in an IP Version 6-Ready Serverless Videoconferencing
Domain Decomposition Adaptive Algorithm with Wavelet Method to Trace Shock Wave
A Stepwise Updating Algorithm for Multiresolution Wavelet Neural Networks
The Application of Lifting Scheme in Pitch Detection
Two-Dimensional Biorthogonal Wavelet Transform and Its Application on Fingerprint Images Compression
Some Results on Bivariate Nonseparable Wavelets
Symmetry Phase Congruency: Feature Detector Consistent with Human Visual System Characteristics
Watermarking in Image Edges
The Hierarchically Weighted Waelet Image Coding Based on SHIHT
Piecewise Periodized Wavelet Transform and Its Realization, Properties and Applications
Wavelets and Image Compression
The Application of the Wavelet Transform to the Discrete Data of Logging
Wavelet Singularity Analysis of Radar Target Disappearing and Capture
Multiwavelet-Based Differentiation Matrix with Absorbed Boundary Conditions
Simple and Fast Subband De-blocking Technique by Discarding the High Band Signals
On the Security for the Fail-Stop Digital Signatures
Fast Method to Computer Tensor Product 2-D Wavelet Transforms
Realization of Perfect Reconstruction Non-uniform Filter Banks via a Tree Structure
Sequence Images Data Fusion Based on Wavelet Transform Approach
Coherent Structure and its Influence to Scaling Law in Rayleigh-Bénard Convection Based on Wavelt Transformation
Wavelet Transform and Its Application to Decomposition of Gravity Anomalies
Reduction of Blocking Artifacts in Both Spatial Domain and Transformed Domain
Power Quality Short-Term Disturbance Recognition Using Wavelet
Stability of Biorthogonal Wavelet Bases in L 2 (R)
Wavelet Domain Wiener Filter and its Application in Signal Denoising
Multiwavelet Thresholding with Context Modeling for Image Denoising
Wavelet Method Based on MPARIMA Model for STLF
Empirical Evaluation of Boundary Policies for Wavelet-Based Image Coding
Gene, Wavelet, Fractal and Data Compression
Performance Analysis of Wavelet Packets Multicarrier CDMA in Rayleigh Fading Channel
The Criteria of Weak Generalized Localization for Multiple Walsh-Fourier Series of Functions in Orlicz Classes
Fault Diagnosis Based on Double Wavelet Neural Network
The Wavelet Approximation in Reproducing Kernel Spaces H**(I)
The Application of the Wavelet Transform to Polysomnographic Signals
VEP Signal Extraction Using Wavelet in Brain-Computer Interface Research
General Design of Wavelet High-Pass Filters from Reconstructional Symbol
A New Time-Frequency Mapping Structure for High Quality Audio Coding
General Analytic Construction for Wavelet Low-Passed Filters
FOPEN Ultra-Wide Band SAR Imaging Based on Wavelet Interpoltion
Personal Identification in Real-Time by Wavelet Analysis of Iris Patterns
Structural and Geometric Characteristics of Sets of Convergence and Divergence of Multiple Fourier Series of Functions which Equal Zero on Some Set
Computation of the Bivariate Wavelet Function Value with Arbriary Dilation Matrix
Extracting and Analyzing Sub-Signals in Heart Period Signal
Nonorthogonal B-Spline Multiresolution Analysis
Singularity Detection from Autocovariance via Wavelet Packets
Wavelt Transform Application of Video Coding at Very Low Bit Rate
A Class of Semi-Orthogonal Wavelet Packets
Automatic Detection Algorithm of Connected Segments for On-line Chinese Character Recognition
Three Novel Models of Threshold Estimator for Wavelet Coefficients
Adapted Sampling and Interpolatory Wavelet Packets
A Criterion of Orthogonal for a Class of Scaling Functions with Dilation Factor 3
A Wavelet-Based Ammunition Doppler Radar System
Some Experiment Results on Feature Analyses of Stroke Sequence Free Matching Algorithms for On-Line Chinese Character Recognition
Date Fusion for Medical Cephalometric Image Based on Lifting Scheme
Radar Detection of Minimum Altitude Flying Targets Based on Wavelet Transforms
Multiscale Wavelet Texture Based Iris Verification
Set of Perfect Reconstruction Non-uniform Filter Banks via a Tree Structure
A Class of Non-Separable Bivariate Biothogonal Scaling Functions with Compact Support
Investigating the Non-Linear Behaviors of Rub-Impact Rotor System with wavelet Scalogram
Precursors of Engine Failures Revealed by Wavelet Analysis
A Video Watermarking Algorithm Using Fast Wavelet
The Construction of Biothogonal Multi-Scaling Functions Possessing Higher Approximation Order with Fractal Interpolaion Fuctions
The Novel Multiple Resolution Analysis Method
A Proposal of Jitter Analysis Based on a Wavelet Transform
Orthogonal Multiwavelets with Dilation Factor a
Wavelets Approach in Choosing Adaptive Regularization Parameter
Research on Fractal Scaleless Range of Vibration Signals Based on Genetic Algorithm
On the Performance of Informative Wavelets for Classification and Diagnosis of Machine Faults
Predicting Protein Structural Features with Wavelets Packet
Wavelet Analysis and Its Applications, Second International Conference, WAA 2001, Hong Kong, China, December 18-20, 2001, Proceedings
Study of Two New Wavelet Templates for Medical Cephalometric Image Processing
A Study on Preconditioning Multiwavelet Systems for Image Compression
Study on the Application of Wavelet Transform in Detection of Low Observable Targets
A New Method to Choose the Thresholds in Wavelet Denoising
Stripe-Based Wavelet Transform and its Coding
An Application of Wavelet Analysis to the Spillovers of Stock Markets in China
Set of Decimators for Tree Structure Filter Banks
DC Coefficients Recovery-based Error Concealment Technique for Mpeg-2 Video Streams
Research of the Gyro Signal De-Noising Method Based on Stationary Wavelets Transform
Appliction Study for Identifying Nuclear Explosion from Earthquake with Wavelet Packet Method
Short Supported Biorthogonal Multiwavelets System with High Vanishing Moments Associated with Hermite Interpolant Function
The Application of the Wavelet Transform to the Prediction of Gas Zones
Fractal Application for Predicting Protein Subcellular Location
Integration of Multivariate Haar Wavelet Series
An Application of Continuous Wavelet Transform in L 2 (R n )
A Method for Feature Extraction of Target Signal Based on Wavelet Decomposition
The Application of Wavelet Analysis Method to Civil Infrastructure Health Monitoring
Design of Biorthogonal Wavelets Based on Lifting Scheme and Its Appliation to Image Coding
Generic Programming with Reusable Wavelet Transforms
Wavelet Denoising of Derivative Near Infrared Spectra (NIR)
A Wavelet-Based Preprocessing for Moving Object Segmentation in Video Sequences
Computations of Inverse Problem by Using Wavelet in Multi-layer Soil
Invisible Pattern Recognition and Wavelet Analysis
A Wavelet-Based Image Indexing, Clustering, and Retrieval Technique Based on Edge Feature
Speckle Reduction in SAR Image Using Wavelet
Multi-Frequency Biothogonal Wavelets Generated by a Finite Number of Functions
Wavelet Transformation on Hidden Markov Models
Study on Bifurcation Phenomena in a Buck-Boost Circuit Based on Wavelet Transform
The Research of Complex System Modeling Based on Fractal Conception
Skewness of Gabor Wavelets and Source Signal Separation
Application of Wavelet Neural Network for Automatic Ranging Cutting Height of Shearer
HPGA Implementation of 1-D Discrete Wavelet Transform
The PSD of the Wavelet-Packet Modulation
Mixture-State Document Segmentation Using Wavelet-Domain Hidden Markov Tree Models
Characters Automatic Detection in Color Image by Wavelet Transform
Biorthogonal Vector Filter Banks via Hermite Interpolation and Lifting Scheme
A Combined Approach to Seperate Atrial Fibrillation Wave
Fast Algorithm of Wavelet Transform on Real Time Signal
Wavelet Algorithm for the Numerical Solution of Plane Elasticity Problem
A Novel Solution to Tile Effect Exhibited by Fractal Image Compression Techniques
Steganalysis of Images Created in Wavelet Domain Using Quantization Modulation
An Application of Continuous Wavelet Transform in Differential Equations
A Method with Scattered Data Spline and Wavelets for Image Compression
Improving Signal-Noise Rate of Seismic Data by Balanced Orthogonal Multiwavelet Transform
Translation-Invariant Face Feature Estimation Using Discrete Wavelet Transform
Construction for Irregular Region Fractal Image Compression
The Speech Analysis and Segmentation by Discrete Wavelet Transform (DWT)
Wavelet Representation of Fractal Measures in Weighted Wiener Amalgam Spaces
Fractal Application in Analyzing Vibration Signals of Diesel Engine
Wavelet Applications in Segmentation of Handwriting in Archival Documents
Generalized Multiresolution Analysis
Wavelets and Fractal Image Compression Based on Their Self-Similarity of the Space-Frequency Plane of Images
Wavelet Analysis and Its Applications, Third International Conference on WAA, Chongqing, P. R. China 29-31 May 2003, Proceedings
Wideband Waveform Design Based on Reproducing Kernel
Vehicle Detection on Highway Based on Direction-Fractal Dimension
Wavelet Transform Method of Waveform Estimation for Hilbert Transform of Fractional Stochastic Signals with Noise
A Design of Automatic Speech Playing System Based on Wavelet Transform
Wavelet and Support Vector Machines for Short-Term Electrical Load Forecasting
On a Class of Optimal Wavelets
A Composite Edge Detection Based on Multi-Wavelet
Image Fusion Using Wavelet Packet Transform
Characterization of Dirac Edge with New Wavelet Transform
The Algorithm Research of Fast Multiwavelet Transform Based on FFT
A Wavelet Based Watermarking Scheme for Information Security
Parameterizations of M-Band Biorthogonal Wavelets
Texture Segmentation Based on Wavelet Textons
Fault Feature Extraction of Hydro-Generator Vibration Signals Based on Wavelets Shrinkage
A Novel Adaptive Wavelet via Lifting Scheme
CT Image of Liver Cancer Enhancement Using Wavelet Transform
Electronic Signature System Based on Wavelet Analysis (Abstract)
Transient Thermal Analysis of Duplicating Paper Using Wavelet on the Interval Elements
Nonlinear Generalized Predictive Control Based on Inverse System Using Wavelet Networks
Bivariate Nonseperable Scaling Function
A Resolution Comparison int he Wavelet Transform and Several Time-Frequency Representations
PN Code Acquistion Dection for CDMA Networks Based on Wavelet Transform and Artifical Neural Network
Predictive Models of Seasonal Time Series for Hemonhagicfever with Renal Syndrome Based on Wavelet Analysis
GO Methodology for Engineering Risk Analysis
Research on Intelligent Analysis Platform of Students Mental Health Based on Big Data Computation
Evaluating the Reliability of MQTT with Comparative Analysis
A Design of IoT-based Platform for Monitoring Environmental Factors Affecting Plant Growth
Automatic Image-Capture and Angle Tracking System Applied on Functional Movement Screening for Athletes
Interactive Lighting Performance System With Myo Gesture Control Armband
Physical Peer-to-Peer Content Sharing Framework on Mobile Device over Wi-Fi Direct
Development of Machine Learning Based Real-Time Squat Training Feedback System
Study on Microcontroller Board Design Planning for Design Education
Adjustment of the Power Factor and the Impedance by the Phase of the Flux in a Transformer Circuit
From Comic Storyboard to 3D Animatic: Discussing the Visual Composition in Computer Animation
Automatic Auscultation Classification of Abnormal Lung Sounds in Critical Patients Through Deep Learning Models
Efficient Routing in SDN using Minimum Bottleneck Spanning Tree
Computational Forecast of PM2.5 Pollution Based on Gas Emission and Traffic Volume Observations
Research on Combined Frequency Sensing Technique for Multi-obstacle Environment Positioning
A carbon nanotube patch antenna for polarization selective radiation performance
Recognition Algorithm of Financial Data Validity of Listed Enterprises Based on Classification Regression Decision Tree
Research on Automatic Classification of Writing Styles Based on KNN Algorithm
Blockchain Based E-portfolio Ecosystem
An Improved Image Compression Technique using Large Adaptive DCT Psychovisual Thresholds
Reset-based Recovery Mechanism through Entropy Cutoff to Counter BUS-OFF Attacks
Patterns of Exposing Integrity of 28nm-node High-k Gate Dielectric on p-substrate with Nitridation Treatments
An Examination of Taiwan's Contemporary Photography Development Traits
Private Data Preprocessing for Privacy-preserving Federated Learning
Application of Genetic Evolutionary Algorithm on Creative Design of Public Art
An Alternative Algorithm to Fit All-Aspect Current-Voltage Characteristics Curves on FinFET Devices
Study of Contactless Finger-Vein Identification System
Stages of Concern and Parasocial Interaction: Perception, Attitude, and Adoption of Social Media
Strengthened ESD Reliability of HV nLDMOSs with Embedded Horizontal Schottky Devices
Design and Implementation of Enterprise AI Business Service System Based on NHibernate Architecture
A Brief on Risk Management and Application Models of Unmanned Aerial Vehicles
Transform Matrix Approach for Path Gain in Signal Flow Graph
Edge Detection Technique by Histogram Processing with Canny Edge Detector
Automated Test Input Generation for Testing Representational State Transfer (REST) Application Programming Interface (API) using Parameter Fuzzing
A Design of Network Based Platform for the Diagnosis of Beam-Type Structure
Application of AIoT in Wireless Image Transmission to Rotating Machinery
Assessment of Impact on Navigation Safety in the Taiwan Strait during China's Naval Blockade Exercise
Research of Bonferroni Based on Software Algorithm for Predicting Organizational Innovation Performance
Energy Saving Solution for Welding Process: A SME Case Study of Fume Extractor
Design and Application of Intelligent Access Control Attendance System
Hand Stability Based Features for Touch Behavior Smartphone Authentication
A Topic Modeling for ALICE'S Log Messages using Latent Dirichlet Allocation
Applying Geographic Information System to Evaluate the Relationship between Highway Accessibility and Economic Development
SCIR Propagation Model of Public Opinion with Reinforcement Effect in Network
Automatic Anomaly Mark Detection on Fabric Production Video by Artificial Intelligence Techniques
Development of Assist Mechanisms for Lifting Luggage Using the Lower Limbs
A Cluster Model Applied to Power Consumption
Rainfall Forecasting of Landslides Using Support Vector Regression
Analysis and Application of Deep Learning in Novel MEMS Capacitive Pressure Sensor
Improvement of Dye-sensitized Solar Cells by Using Compact and Pressed Layer of TiO2
ESD-ability of Circular nLDMOS Transistors of UHV by Super-junction Length Modulation and Concentration Gradient
Virtual Teaching Assistant for Grading Programming Assignments: Non-dichotomous Pattern based Program Output Matching and Partial Grading Approach
Differentiated Service for Distributed Queuing MAC Protocol in 5G cellular IoT Networks
Energy Efficient Shower System with Waste Heat Recovery
Effect of ZnO Nanorod Arrays on the Output Performance of Piezoelectric Nanogenerator
Ensemble Algorithm of Convolution Neural Networks for Enhancing Facial Expression Recognition
Application of amplified reality to the cognitive effect of children with attention deficit hyperactivity disorder(ADHD) - An example of Italian Chicco-app interactive building blocks
Tor Traffic Classification from Raw Packet Header using Convolutional Neural Network
A Low-Complexity Convolution Network for Upscale Super-Resolution Image
A Real-Time Architecture of 360-Degree Panoramic Video Streaming System
Development of an Immediate Feedback System of Movement Speed and Performance with a Piezoelectric Sensor and its Application in Sport Training
5th IEEE International Conference on Knowledge Innovation and Invention, ICKII 2022, Hualien, Taiwan, July 22-24, 2022
A Navigational Approach Centered on Pedestrian Comfort: A Case Study From Fuzhou University
A Comparative Study of Machine Learning Techniques for Real-time Multi-tier Sentiment Analysis
Using Deep Learning for Apartment Complex Closed-Circuit Television System
4th IEEE International Conference on Knowledge Innovation and Invention, ICKII 2021, Taichung, Taiwan, July 23-25, 2021
The Study of Programming Language Learning by Applying Flipped Classroom
Exploring the Integrated Application of Aesthetic QR Code in Video
Learning-Based Collision Detection with Estimating Occluded Keypoint for Robotic Manipulators
Fabrication and Electrical Properties of Novel ZnTiO3/Si Capacitors with Various Zn(NO3)2 Concentrations
An Implementation and Design of a Digital Light Switch of Smart-Home Based on MQTT Broker
An imitation of realistic subsurface scattering texture for physically based rendering workflow
A user-adaptive deep machine learning method for handwritten digit recognition
IoT Attack Classification Based on Generative Adversarial Networks
A Study on Electroluminescent Phenomenon for Solar Cells Test
A Study of Intervertebral Disc Segmentation Based on Deep Learning
Exploring Educational Applicability of Virtual Touch System on Maker Space
The Configuration and Characteristic of the High Static Low Dynamic Stiffness Nonlinear Passive Vibration Isolator
Platooning of Connected Automated Vehicles at Intersections
Large Pose Detection and Facial Landmark Description for Pose-invariant Face Recognition
Data-driven Modeling Techniques for SMA Spring
A Fault Detection Method of Photovoltaic Cells Based on BP Neural Network Training for Current Trend
Research on Pavement recognition algorithm Based on Mobile device
Leakage Identification in Water Distribution Systems with a Complex Networks Approach
Analysis of the Use of "MOOC + flipped classrooms" in the Practice of Design and Producing of Webpage
Ultra-Wideband Positioning Using Machine Learning Approaches
Determinants Analysis of Drone Delivery Service Adoption
Effects of Facial Movements to Expressive Speech Productions: A Computational Study
WEYE: An open-source software system for recording and analyzing of eye- and mouse- tracking data from webpages