5216 search results - page 336 / 1044 » Planning as Model Checking |
178
Voted
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
142
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
While much work on learning in planning focused on learning domain physics (i.e., action models), and search control knowledge, little attention has been paid towards learning use...
151
click to vote
PVLDB
2010
15 years 3 months ago
2010
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...
134
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
137
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— To support the growing demand for transmission, Optical Label Switching (OLS) technology seems to be attractive due to its ability to allow fast switching and Quality of Servic...