752 search results - page 32 / 151 » A Markov Chain Model Checker |
AIPS
1996
13 years 10 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
ICML
2009
IEEE
14 years 3 months ago
2009
IEEE
The most commonly used learning algorithm for restricted Boltzmann machines is contrastive divergence which starts a Markov chain at a data point and runs the chain for only a few...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
One of the most critical issues in femtocell network deployment is interference management, especially for femtocells sharing the spectrum occupied by conventional cellular networ...
MM
2000
ACM
14 years 1 months ago
2000
ACM
In highly interactive multimedia applications startup latency is significant, and may negatively impact performance and Quality of Service (QoS). To avoid this, our approach is t...
NIPS
2007
13 years 10 months ago
2007
We investigate a family of inference problems on Markov models, where many sample paths are drawn from a Markov chain and partial information is revealed to an observer who attemp...