yusuke1997/dblp-id-title huggingface dataset:
A Method for the Specification of Relational Database Applications
On Quantitative Solution Iteration in QAlloy
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
Putting Numbers into the Mathematical Toolkit
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
Reqirements for Defence Standard 00-55
Selected Z Bibliography
Performing Algorithmic Refinement before Data Refinement in B
Integrating Formal Methods into a Professional Master of Software Engineering Program
How Firing Conditions Help Inheritance
Schuman & Pitt Approach
ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Communicating B Machines
Insider Threat Simulation Through Ant Colonies and ProB
A Formal Analysis of the CORBA Security Service
A Z Specification of the Soft-Link Hypertext Model
Checking JML Specifications with B Machines
A Comparison of the BTT and TTF Test-Generation Methods
Case Study: Safety Controller for Autonomous Driving on Highways
Z FORUM Electronic Mailing List
Extending B with Control Flow Breaks
Automatic Construction of Validated B Components from Structured Developments
Modelling a Mechanical Lung Ventilation System Using TASTD
Industrial Requirements for the Efficient Development of Reliable Embedded Systems
Expression Transformers in B-GSL
MooZ Case Studies
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk)
Formal Specification of Telephone Features
Crucible Tools for Test Generation and Animation of Alloy Models
Behavioural Theory of Reflective Parallel Algorithms
Adding Records to Alloy
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems
Polychronous RSS in a Process-Algebraic Framework - A Case Study
Service Extension at the Specification Level
On Mutually Recursive Free Types in Z
Guards, Preconditions, and Refinement in Z
Towards Dynamic Population Management of Abstract Machines in the B Method
Object-Z
An Algebraic Proof in VDM
A Tool for Defining the Architecture of Z Specifications
Behavioural Theory of Reflective Algorithms
Hints for Writing Specifications
An Outline Pattern Language for Z: Five Illustrations and Two Tables
A Prospective-Value Semantics for the GSL
Meeting the Challenge of Object-Oriented Programming
Closure Induction in a Z-Like Language
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
B # : Toward a Synthesis between Z and B
Formal Methods for Industrial Products
CICS/ESA 3.1 Experiences
The ZIP Project
Hall's Style
Using Z in Communications Engineering
Using Z to Describe Large Systems
A Formal Semantics for a Language with Type Extension
Encoding Sets as Real Numbers
Enhancing the Structure of Z Specifications
Software Quality Assurance Using the SAZ Method
Specifying and Interpreting Class Hierarchies in Z
W: A Logic for Z
Introducing Backward Refinement into B
Extraction of Abstraction Invariants for Data Refinement
Reasoning Inductively about Z Specifications via Unification
Validation of Formal Models by Interactive Simulation
Recursive Definitions in Z
Formal Program Development with Approximations
Computer Aided Transformation of Z into Prolog
CADIZ - Computer Aided Design in Z
The Future of Formal Methods in Industry
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings
Z and Eves
Select Z Bibliography and Frequently Asked Questions
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries
Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines
Development via Refinement in Probabilistic B - Foundation and Case Study
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding
The Use of Z
ZEST
Example Specification in Z
Extending the Useful Application Domain for Formal Methods
Specifications and Their Use in Defining Subtypes
A Rigorous Foundation for Pattern-Based Design Models
An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z
Machine Support for Z: the zebB Tool
An Event-B Model of a Mechanical Lung Ventilator
Including Design Guidelines in the Formal Specification of Interfaces in Z
Designing a Requirements Specification Language for Reactive Systems
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
Proof Semantics of Railway Interlocking
An Execution Architecture for GSL
Proving Temporal Properties of Z Specifications Using Abstraction
W Reconstructed
Exploring a Methodology for Formal Verification of Safety-Critical Systems
Type Inference in Z
On Writing Alloy Models: Metrics and a New Dataset
From Event-B to Lambdapi
Formal Methods: A Panacea or Academic Poppycock?
CZT: A Framework for Z Tools
Encoding rmTLA + Proof Obligations Safely for SMT
What is a Good Formal Specification?
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract
Structural Metrics for Z Specifications
Property Ownership Formal Modelling Using Event-B and iUML-B
Probabilistic Invariants for Probabilistic Machines
Towards Practical Proofs of Class Correctness
The CICS Application Programming Interface Definition
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Z and HOOD
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
Building Specifications in the Event-B Institution: A Summary
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development
The MooZ Environment
Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems
Support for Using Z
Refinement Preserves PLTL Properties
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
Controlling Control Systems: An Application of Evolving Retrenchment
ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq
Type-Constrained Generics for Z
How to Combine Z with Process Algebra
Promoting Forward Simulation
Z ++ , An Object-orientated Extension to Z
Viewpoints and Objects
A Course on Formal Methods in Software Engineering: Matching Requirements with Design
A Simpler Semantics for Z
Verifying Temporal Relational Models with Pardinus
An Object-Oriented Structuring for Z Based on Views
Task Model Design and Analysis with Alloy
Proving Event Ordering Properties for Information Systems
Exploring Specifications with Mathematica
An Approach to Combining B and Alloy
Z and Hoare Logics
Specification in Fresco
Refinements of Hybrid Dynamical Systems Logic
Deriving Tests for Objects Specified in Z
Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems
Theories, Implementations, and Transformations
Formal Modeling and Analysis of Apache Kafka in Alloy 6
Formal Specification and Development of Control System Input/Output
Z and Natural Semantics
Formal Methods in the Specification of Real-Time, Safety-Critical Control Systems
Z User Workshop, York, UK, 16-17 December 1991, Proceedings
Safely Encoding B Proof Obligations in SMT-LIB
TASTD: A Real-Time Extension for ASTD
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Testing as Abstraction
FRETting and Formal Modelling: A Mechanical Lung Ventilator
Semi-Automated Image Analysis Methodology to Investigate Intracellular Heterogeneity in Immunohistochemical Stained Sections
Steady Hand: Stabilization Apparatus for Hand Tremors
Depth-based Deep Learning for Manhole Detection in UAV Navigation
A Free Element Spherical and Ellipsoidal Radio Frequency Coils with High B1 Homogeneity for MRI
Design and Testing of a Square Helmholtz Coil for NMR Applications with Relative Improved B1 Homogeneity
Federated Learning Aggregation based on Weight Distribution Analysis
Identifying and characterizing system issues of health information technology in medical imaging as a basis for recommendations
Renyi divergence and non-deterministic subsampling in Rigid Image Registration
The Role of Machine Vision in Industry 4.0: an automotive manufacturing perspective
Human-Machine Interface for Remote Training of Robot Tasks
Identifying and Classifying Incidents Related to Health Information Technology in Medical Imaging as a Basis for Improvements in Practice
Detection and Sizing of Surface Cracks in Metals Using UHF Probe
Comparing YOLO-based Detectors for Pedestrian and Car Detection in Aerial Static Video: An Evaluation of Generalization Capacity and Performance
A Quick Algorithm to Detect LED Array from the Background in Image Sensor Based Visible Light Communication
Design and Optimization of Liquid Level Sensor based on Electrical Tomography
Enhanced Parasite Egg Images with Multiregion Light Source
Tomographic Imaging and Deep Learning based Reconstruction of Burner Flames
A learning-based respiratory motion estimation with consecutive ultrasound images
Cognitive Fusion-based Path Planning for UAV Inspection of Power Towers
Undersampled Magnetic Resonance Image Reconstructions Based on a Combination of U-Nets and L1, L2, and TV Optimizations
Non-Invasive Discrimination of Colorectal Adenomas and Non-Neoplastic Polyps with Micro-Optical Coherence Tomography Imaging
Concentration Imaging of Multiple Gases from H2O Absorption Spectrum Coupled with CFD Model
Elitism in intensity-based image registration
Ultrasound Image Segmentation for Deep Vein Thrombosis using Unet-CNN based on Denoising Filter
Real-Time Accident Detection in Traffic Surveillance Using Deep Learning
Ultrasound Nerve Segmentation of Brachial Plexus Based on Optimized ResU-Net
Unsupervised Anomaly Detection in Traffic Surveillance Based on Global Foreground Modeling
Adversarial Attacks in Industrial Control Cyber Physical Systems
Diabetic Retinopathy Grading Using 3D Multi-path Convolutional Neural Network Based on Fusing Features from OCTA Scans, Demographic, and Clinical Biomarkers
SwinMotionSeg: A Point Cloud Moving Object Segmentation Model Based on Swin-Transformer
TunnelTrack: A Dataset for Multi-Object Tracking in Tunnel Roads
Eddy-Current Suppression with Self-Compensation Technique in Ultra-Low-Field MRI
Frequency-difference imaging for multi-frequency complex-valued ECT
Joint-Aware Action Recognition for Ambient Assisted Living
IEEE International Conference on Imaging Systems and Techniques, IST 2024, Tokyo, Japan, October 14-16, 2024
Research on Denoising Algorithm of Thoracic Impedance Data for COPD Diagnosis
Analysis of Leaks in Flood Embankments Using Deterministic Methods and Computational Intelligence Algorithms
Millimeter Wave Imaging of Surface Defects and Corrosion under Paint using V-band Reflectometer
Evaluation of Oversampling Strategies in Machine Learning for Space Debris Detection
Influence of External and Internal Parameters on the Accuracy of a Mobile Tracking System Based on an IPhone
IEEE International Conference on Imaging Systems and Techniques, IST 2022, Kaohsiung, Taiwan, June 21-23, 2022
VIScial: Visual Classification of Facial Shape Using Deep Transfer Learning
Landmark-based Visual SLAM using Object Detection
IEEE International Conference on Imaging Systems and Techniques, IST 2021, Kaohsiung, Taiwan, August 24-26, 2021
Unsupervised Cross Domain Learning for Noise Removal from a Single Image
Autism Spectrum Disorder Diagnosis framework using Diffusion Tensor Imaging
Nav2CAN: Achieving Context Aware Navigation in ROS2 Using Nav2 and RGB-D sensing
Self-guided Genetic Algorithm for Limited View Tomography
Observed Phenomenon in Grouting Duct Detection Progress using Capacitive Sensing Technique
Smart Health Lighting Design Applied to Healthy Residential Environment
Development of an iTomography infrastructure for non-destructive documentation of cultural heritage objects
Extraction of Disparity Information Using Pixels with Integrated Apertures
Big Data driven U-Net based Electrical Capacitance Image Reconstruction Algorithm
High Resolution Headband Document Scanner and Transmitter for the Disabled People
Concurrent Detection of Known Defects and Out-of-Distribution Instances in Building Inspections: Advancements in Deep Classification
Pre-operative AR-ultrasound application for determination of individual hip posture
Deep Convolutional Neural Networks for Road Crack Detection: Qualitative and Quantitative Comparisons
PDAST: Paradigm Towards Weather Domain Adaptation for 3D Detection Based on Density Aware Pooling and Self-Training
An Integrated ECT and Electrostatic Sensor for Particulate Flow Measurement
An Integrated CNN-RNN-SVM Framework for Classification of MRI Brain Tumor Images
Image reconstruction for electrical impedance tomography based on spatial invariant feature maps and convolutional neural network
General-purpose Abandoned Object Detection Method without Background Modeling
Intelligent robotic system for urban waste recycling
3D Pose Estimation Using a Global and Local Cross-Attention Mechanism
Space Target Pose Estimation Based on High-Level Geometric Correspondences for Single-Photon LiDAR
Exploring the Efficacy of Spatial Subsampling Methods for 3D Image Projection for 2D Classification
A Deconvolutional Bottom-up Deep Network for multi-person pose estimation
Miniature Modular Sensor for Chemical Species Tomography with Enhanced Spatial Resolution
RC Auto Mapper: Remote Controlled Robotic Vehicle for Autonomous Area Mapping
Growth Stage Classification on Lettuce Cultivars Using Deep Learning Models
Numerical Simulation of Thermoelectric Based Temperature Control system for CubeSat in Space
Illumination-Aware Image Segmentation for Real-Time Moving Cast Shadow Suppression
Left ventricular segmentation from cardiac MRI data
Heatmap-based Explanation of YOLOv5 Object Detection with Layer-wise Relevance Propagation
BUAS: A Knowledge-based Representation of the Border Surveillance Domain
DCE-MRI radiomics features for predicting breast cancer neoadjuvant therapy response
Multiple Lane Detection Algorithm Based on Optimised Dense Disparity Map Estimation
Parameter Inversion Based on Levenberg-Marquardt Algorithm for Layered Formation Using Electromagnetic Wave Resistivity Tool
An Interdisciplinary Framework for Systematic Innovation: A Case Study on Nature-Inspired Imaging Solutions
Noise-filtering method for large-scale holographic 3D display
Computer-Aided Diagnosis of Acute Myocardial Infarction using Time-Dependent Plasma Metabolites
Median Based Annoying Spikes Adaptive Denoising (ASAD)
OpenCL Superpixel Implementation on a General Purpose Multi-core CPU
I-PRIDe: Video-based Person Re-Identification
Exploiting Mixed Reality in a Next-Generation IoT ecosystem of a construction site
Cross-Spectral Periocular Recognition by Cascaded Spectral Image Transformation
Challenges for Electronic Displays in Sterile Medical Devices
Weighted Multi-Camera Stereo Vision Based on Geometric Relationships of Feature Edges
Human Blood Type Classification Using Feature Selection and Optimized Machine Learning Model
Deep Learning-Based Mushroom Classification: Differentiating Edible and Poisonous Species Using Convolutional Neural Networks
High Accuracy Diagnosis of Pediatric Pneumonia: Achieved Using Convolutional Neural Network
Image Restoration Method for Non-uniform Blurred Images
Identifying Patterns of Breast Cancer Genetic Signatures using Unsupervised Machine Learning
Design Optimization of a Multiphase Coplanar Capacitive Sensor
Space Debris Detection and Resident Space Object (RSO) Classification using Polarimetric Discriminants
A low-cost Multi-Fingervein Verification System
Design of Saddle-Shaped Coils for Field Free Point Scanning in Magnetic Particle Imaging
Macula Swelling Detection using Retinal Fundus Images
Smartphone-Based Imaging System and Method for Particle Size and Shape Measuring in Baijiu Brewing Process
Comparison of Clustering Strategies using a Partition Tree
Temperature imaging of Counterflow Diffusion Flames by using TDLAS Tomography
Domain adaptation method for semantic segmentation in marine vessel inspection
Enhancing Quality Control for Pistachio: Siirt vs. Kirmizi Classification via CNN-Based Image Analysis
Super-Resolution Spike Event-based Polarimetric Dynamic Vision Sensor p(DVS) Cognitive Imaging
Microwave Tomography of the Neck with ANNs: Preliminary Results with Simplified Numerical Phantoms
Anomalous Driving Detection for Traffic Surveillance Video Analysis
3D Temperature Imaging of Dynamic Flames via Laser Absorption Spectroscopy
Machine Learning Enabled Fracture Network Imaging Using The Wirelessly powered Smart Microchip Proppants Technology
Application of ANN and ANFIS for detection of brain tumors in MRIs by using DWT and GLCM texture analysis
Modified CNN VoxNet Based Depthwise Separable Convolution for Voxel-Driven Body Orientation Classification
Level measurement of separator by using electrical tomography sensor
Dimensionality reduction through visual data resampling for low-storage loop-closure detection
TraDance: A dataset for assessing the performance of Greek folk dances recognition models
Design and validation of aberration-free plenoptic imaging system for industrial inspection
Design and Development of a 6 DOF Arbiter Robotic Arm for Games of the General (Salpakan) Using Yolov8
Three-electrode ECT sensor with rotation for use with a robot hand
A Quasi-Parallel DAQ Scheme for Wavelength Modulation Spectroscopy Tomography
Sliding Mode Control based Support Vector Machine RBF Kernel Parameter Optimization
An OCTA Based Diagnosis System Based on a Comprehensive Local Features Analysis for Early Diabetic Retinopathy Detection
Building an Annotated Damage Image Database to Support AI-Assisted Hurricane Impact Analysis
A Robust Deterministic-Based Automatic Vessel Centerline Extraction Algorithm in 3-D Binary Volumes
Human Tracking in Top-view Fisheye Images with Color Histograms via Deep Learning Detection
Measurement of Liquid-level in Horizontal Pipe using 4-electrode ECT sensor on robot hand
Single frontal projection 2D/3D switchable display based on integral imaging
YOLO-SE: A Universal Real-Time Multi-Scale Object Detection Framework
Computer-Aided Diagnosis of Prostate Cancer on Diffusion Weighted Imaging: A Technical Review
A comprehensive virtual reality system for tunnel surface documentation and structural health monitoring
A Deep Learning-Based Approach for Accurate Segmentation of Bladder Wall using MR Images
An Image Reconstruction Method for Outwards Electrical Impedance Tomography Based on Inversion Mapping
Three-Dimensional Measurement System for Inner Surface of Long Tubular Parts Based on White Light Interference
Detecting stabbing by a deep learning method from surveillance videos
Fall detection paradigm for embedded devices based on YOLOv8
Optimized Magnetic Resonance Fingerprinting Using Ziv-Zakai Bound
Machine Learning Classification of Neuropsychiatric Systemic Lupus Erythematosus patients using resting-state fMRI functional connectivity
A Cognitive Radar for Classification of Resident Space Objects (RSO) operating on Polarimetric Retina Vision Sensors and Deep Learning
Computer Vision-Based Guidance Assistance Concept for Plowing Using RGB-D Camera
Fuzzy Adaptive Focal Loss for Imbalanced Datasets
Attention-guided Feature Fusion for Small Object Detection
Few-Shot HRRP Target Recognition Based on Meta-Learning Framework and Improved Lightweight Network with CNN and Bi-GRU
Significant Smartphone Images Features For Liver Steatosis Assesment
IEEE International Conference on Imaging Systems and Techniques, IST 2023, Copenhagen, Denmark, October 17-19, 2023
Vision Transformer Based Automated Model for Enhancing Lung Cancer Classification
Study on different Skin lesion Segmentation techniques and their comparisons
An RGB-D video-based wire detection tool to aid robotic arms during machine alignment measurement
Self-Supervised Soft Obstacle Detection for Safe Navigation of Visually Impaired People
Identifying Asthma genetic signature patterns by mining Gene Expression BIG Datasets using Image Filtering Algorithms
Weld Classification Using Gray Level Co-Occurrence Matrix and Local Binary Patterns
Quality Assessment of Image Dataset for Autonomous Driving
Power Transmission Lines Inspection using Properly Equipped Unmanned Aerial Vehicle (UAV)
Deep Learning Based Method for Computer Aided Diagnosis of Diabetic Retinopathy
Driver Fatigue Detection with Single EEG Channel Using Transfer Learning
A novel method to explore intrarenal arterial tree using micro-CT
Evaluation of Sensitivity of Capacitive Tactile Sensors with Different Materials
Bone Marrow Cell Recognition: Training Deep Object Detection with A New Loss Function
Space Situational Awareness (SSA) and Quantum Neuromorphic Computing
Multimodal Machine Learning for Multifactor Geospatial Prioritization of Suitable Healthcare Facility Sites
Colour Constancy for Image of Non-Uniformly Lit Scenes
Automatic Synthesis of Computer Vision Workflow using AI Planning
Enhancing Process Image Analysis with Adaptive Thresholding and Deep Learning Techniques
Classification of different vehicles in traffic using RGB and Depth images: A Fast RCNN Approach
Vision-Based Product Tracking Method for Cyber-Physical Production Systems in Industry 4.0
Reconstruction of Chaotic Grayscale Image Encryption Based on Deep Learning
Compensation for fringe effect of electrical resistance tomography sensor by multiple-plane sensor scheme
Classification of Ictal and Preictal Seizure using EEG Signals based on Convolutional Neural Network
Intelligent Navigation and Control of a Prototype Autonomous Underwater Vehicle for Automated Inspection of Aquaculture net pen cages
Activation Function Selection for U-net Multi-structures Segmentation of End-Diastole and End-Systole Frames of Cine Cardiac MRI
Methodology of Volume Measurement by Depth Imaging Technology
Virtual Video Synthesis for Personalized Training
Fractional Order Savitzky-Golay Differentiator based Approach for Mammogram Enhancement
Real-Time Object Detection using an Ultra-High-Resolution Camera on Embedded Systems
An FPGA-based on-chip system for real-time single pixel imaging
Comparison of ASM and CNN based prostate segmentation in CT images
Artificial Potential Field-Based Kinematic Bidirectional-RRT for Robot- Trailer Kinematics
Design Techniques for Incremental Non-Regular Image Sampling Patterns
Imaging of flow pattern of gas-oil flows with convolutional neural network
Multi-Channel Biometrics for eHealth Combining Acoustic and Machine Vision Analysis of Speech, Lip Movement and Face: a Case Study
A Hybrid Qualitative-Quantitative Electromagnetic Imaging Method for Subsurface Prospecting
Improving image reconstruction in electrical capacitance tomography based on deep learning
High Accuracy Vision-Laser Post-Welding Defect Detection and Segmentation Method Based on Convolutional Neural Networks
Waveformer: Innovative Token Mixing for Plug-and-Play Image Restoration
Performance Evaluation of YOLOv8, YOLOv9 and YOLOv10 Models in Detecting Fusarium Wilt Disease in Banana Leaf Plants
Bone Age Assessment Based on Salient Object Segmentation
A Cortical Based Diagnosis System for MCI Based on sMRI Features Fusion
Deep Learning-based Method for Denoising and Image Enhancement in Low-Field MRI
Unpaired Synthesis of IC Scanning Electron Microscopy Images with Structural Constraints
Evaluation of Wavelets in Image Camera Source Identification
Perception-Driven Ballet Gesture Recognition and Evaluation System Using Kinect
Communicating robot intentions: Usability study of a socially-aware mobile robot
Baking Status Characterization of Baked Food Image Based on Superpixel Segmentation