3719 search results - page 29 / 744 » order 2010 |
120
click to vote
SIAMNUM
2010
14 years 10 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
15 years 24 days 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,...
135
Voted
ITP
2010
15 years 7 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...
136
Voted
PVLDB
2010
14 years 10 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...
121
click to vote
ECAI
2010
Springer
15 years 4 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...