31686 search results - page 292 / 6338 » Resource typing in Guru |
131
click to vote
DCG
2002
15 years 5 months 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...
115
click to vote
ACTA
1998
15 years 5 months 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...
127
Voted
IPMU
2010
Springer
15 years 4 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...
138
click to vote
PROCEDIA
2010
15 years 4 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...
128
click to vote
RTA
2010
Springer
15 years 4 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 ...