Expression caching for runtime verification based on parameterized probabilistic models.
Hiroyuki NakagawaHiromu ToyamaTatsuhiro TsuchiyaPublished in: J. Syst. Softw. (2019)
Keyphrases
- probabilistic model
- graphical models
- generative model
- model checking
- hidden variables
- prefetching
- probabilistic modeling
- query processing
- conditional random fields
- language model
- latent variables
- face verification
- data access
- bayesian inference
- access patterns
- bayesian networks
- clustering algorithm
- expectation maximization
- pairwise
- maximum likelihood
- information retrieval systems
- formal methods
- neural network
- web caching
- verification method
- caching scheme
- consistency maintenance