State-Space Caching Revisited.
Patrice GodefroidGerard J. HolzmannDidier PirottinPublished in: Formal Methods Syst. Des. (1995)
Keyphrases
- state space
- heuristic search
- prefetching
- dynamic programming
- reinforcement learning
- markov decision processes
- optimal policy
- reinforcement learning algorithms
- state variables
- markov chain
- search space
- particle filter
- continuous state spaces
- query processing
- planning problems
- cache replacement
- consistency maintenance
- continuous time markov process
- dynamical systems
- data access
- dynamic content
- belief state
- initial state
- web caching
- neural network
- user perceived
- caching strategies
- semantic caching
- database
- markovian decision
- caching scheme
- hit ratio
- goal state
- markov decision process
- stochastic processes
- state transition
- access patterns
- domain specific
- response time