31686 search results - page 292 / 6338 » Resource typing in Guru |
88
Voted
DCG
2002
15 years 16 days ago
2002
In this paper we study the topology of transversals to a family of convex sets as a subset of a Grassmanian manifold. This topology seems to be ruled by a combinatorial structure w...
ACTA
1998
15 years 13 days ago
1998
We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...
86
Voted
IPMU
2010
Springer
14 years 11 months ago
2010
Springer
Following the ideas of stronger forms of monotonicity for unary real functions and for capacities, k-monotone and strongly kmonotone aggregation functions are introduced and discus...
85
Voted
PROCEDIA
2010
14 years 11 months ago
2010
In this short note, a direct proof of L2 convergence of an Euler–Maruyama approximation of a Zakai equation driven by a square integrable martingale is shown. The order of conve...
88
Voted
RTA
2010
Springer
14 years 11 months ago
2010
Springer
We consider here a number of variations on the System F, that are predicative second-order systems whose terms are intermediate between the Curry style and Church style. The terms ...