Sliding Window Abstraction for Infinite Markov Chains.
Thomas A. HenzingerMaria MateescuVerena WolfPublished in: CAV (2009)
Keyphrases
- sliding window
- markov chain
- data streams
- steady state
- finite state
- transition probabilities
- markov process
- random walk
- window size
- stochastic process
- fixed size
- stationary distribution
- markov model
- streaming data
- state space
- stream data
- probabilistic automata
- markov processes
- closed frequent itemsets
- limited memory
- window sizes
- dynamic programming
- transition matrix
- markov chain monte carlo
- data mining
- confidence intervals
- probability distribution
- xml documents