8413 search results - page 16 / 1683 » Ordering Problem Subgoals |
JMLR
2010
13 years 2 months ago
2010
Logic-based probabilistic models (LBPMs) enable us to handle problems with uncertainty succinctly thanks to the expressive power of logic. However, most of LBPMs have restrictions...
SIAMNUM
2010
13 years 2 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
PODS
2006
ACM
14 years 8 months ago
2006
ACM
MOC
2002
13 years 7 months ago
2002
Abstract. A new strategy to avoid the order reduction of Runge-Kutta methods when integrating linear, autonomous, nonhomogeneous initial boundary value problems is presented. The s...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
-Order Abstractions for the Pancake Problem Malte Helmert and Gabriele R