Keyphrases
- sliding window
- window size
- bayesian networks
- probabilistic inference
- inference problems
- random fields
- data sets
- theorem prover
- theorem proving
- artificial intelligence
- special case
- probabilistic model
- maximum likelihood
- expert systems
- database
- multi agent
- inference engine
- formal methods
- inference process
- grammatical inference