Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
An iterative solution to the problem of image deconvolution is presented. The previous image estimate is pre-filtered using a stabilizing function that is updated based on current...
In this paper, an edge-preserving nonlinear iterative regularization-based image resampling method for a single noise-free image is proposed. Several aspects of the resampling alg...
Relative to a hyperstrong cardinal, it is consistent that measure one covering fails relative to HOD. In fact it is consistent that there is a superstrong cardinal and for every re...
Bounded policy iteration is an approach to solving infinitehorizon POMDPs that represents policies as stochastic finitestate controllers and iteratively improves a controller by a...