KBX: Verified Model Synchronization via Formal Bidirectional Transformation.

Jianhong Zhao Yongwang Zhao Peisen Yao Fanlang Zeng Bohua Zhan Kui Ren

Published in: CoRR (2024)

Keyphrases

formal model
probabilistic model
computational model
linear model
image segmentation
high level
theoretical analysis
management system
mathematical model
theoretical framework
em algorithm
maximum likelihood
database
objective function
face recognition
decision trees
artificial intelligence