An Evaluation of Estimation Techniques for Probabilistic Verification.
Mariia VasilevaPaolo ZulianiPublished in: VECoS (2020)
Keyphrases
- evaluation method
- continuous valued
- evaluation criteria
- bayesian networks
- model checking
- evaluation methods
- estimation process
- probabilistic model
- data driven
- generative model
- signature verification
- evaluation process
- estimation accuracy
- evaluation model
- robust estimation
- estimation algorithm
- density estimation
- evaluation measures
- data sets
- posterior probability
- information theoretic
- model selection
- knowledge base
- genetic algorithm
- information retrieval
- machine learning