Mean field verification theorem.
Alain BensoussanSingRu Celine HoeJoohyun KimZhongfeng YanPublished in: Commun. Inf. Syst. (2021)
Keyphrases
- markov random field
- face verification
- linear complexity
- model checking
- belief networks
- free energy
- markov networks
- verification method
- statistical mechanics
- formal verification
- closed form
- em algorithm
- bayesian inference
- formal methods
- graphical models
- von neumann
- image segmentation
- information systems
- data sets
- fingerprint verification