Login / Signup
PVS-GEN: Systematic Approach for Universal Synthetic Data Generation Involving Parameterization, Verification, and Segmentation.
Kyung-Min Kim
Jong Wook Kwak
Published in:
Sensors (2024)
Keyphrases
</>
data generation
formal verification
level set
segmentation algorithm
data streams
model checking
streaming data
active learning
medical images
image segmentation
image analysis
high throughput
theorem proving
co training
viewpoint
image registration
real time
machine learning