2 papers
cs.AI2013
Operator Selection While Planning Under Uncertainty
Todd Michael Mansell, Grahame Smith
This paper describes the best first search strategy used by U-Plan (Mansell 1993a), a planning system that constructs quantitatively ranked plans given an incomplete description of…
math.DG2005
An Arzela-Ascoli Theorem for Immersed Submanifolds
Graham Smith
The classical Arzela-Ascoli theorem is a compactness result for families of functions depending on bounds on the derivatives of the functions, and is of invaluable use in many fiel…