76 search results - page 2 / 16 » Discretization of Temporal Models with Application to Planni... |
ICDM
2009
IEEE
13 years 12 months ago
2009
IEEE
—Mining temporal network models from discrete event streams is an important problem with applications in computational neuroscience, physical plant diagnostics, and human-compute...
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
IICAI
2007
13 years 6 months ago
2007
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...
AIPS
2003
13 years 6 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...