744 search results - page 58 / 149 » Observations on the Decidability of Transitions |
ENTCS
2010
13 years 9 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
IJBC
2006
13 years 9 months ago
2006
We consider the effect of random variation in the material parameters in a model for machine tool vibrations, specifically regenerative chatter. We show that fluctuations in these...
ML
2002
ACM
13 years 8 months ago
2002
ACM
TD() is a popular family of algorithms for approximate policy evaluation in large MDPs. TD() works by incrementally updating the value function after each observed transition. It h...
IJCAI
2007
13 years 10 months ago
2007
Multiagent distributed resource allocation requires that agents act on limited, localized information with minimum communication overhead in order to optimize the distribution of ...
UAI
2004
13 years 10 months ago
2004
For many real-life Bayesian networks, common knowledge dictates that the output established for the main variable of interest increases with higher values for the observable varia...