1382 search results - page 16 / 277 » Term ordering problem on MDG |
ICCS
2009
Springer
14 years 5 months ago
2009
Springer
This paper introduces a three and a four order explicit time stepping method. These methods have high stage order and favorable monotonicity properties. The proposed methods are ba...
SIGECOM
2004
ACM
14 years 4 months ago
2004
ACM
We introduce new online models for two important aspects of modern financial markets: Volume Weighted Average Price trading and limit order books. We provide an extensive study o...
SIAMNUM
2010
13 years 5 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...
ECML
2007
Springer
14 years 5 months ago
2007
Springer
We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm i...
LILOG
1989
14 years 2 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...