3719 search results - page 29 / 744 » order 2010 |
SIAMNUM
2010
13 years 4 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...
CMA
2010
13 years 7 months ago
2010
In this paper, we present an impulsive version of Filippov's Theorem for fractional differential inclusions of the form: D y(t) F(t, y(t)), a.e. t J\{t1, . . . , tm}, (1,...
ITP
2010
14 years 1 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
PVLDB
2010
13 years 4 months ago
2010
Although there has been a considerable body of work on skyline evaluation in multidimensional data with totally ordered attribute domains, there are only a few methods that consid...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOPro...