Fast Inverse Model Transformation: Algebraic Framework for Fast Data Plane Verification.
Shenshen ChenJian LuoDong GuoKai GaoYang Richard YangPublished in: CoRR (2024)
Keyphrases
- experimental data
- data sets
- simulation data
- input data
- prior knowledge
- probabilistic model
- conceptual framework
- test data
- conceptual model
- formal model
- measured data
- theoretical framework
- data collection
- high quality
- computational model
- training data
- image sequences
- empirical data
- discrete data
- mathematical framework
- bayesian framework
- statistical model
- process model
- high level
- data processing
- probability distribution
- knowledge discovery
- image data
- database
- objective function
- end users
- modeling framework
- learning models
- spatial data
- expert knowledge
- theoretical foundation
- data quality
- statistical methods
- high dimensional data
- mathematical model