Sciweavers

20066 search results - page 85 / 4014
» T Spaces
Sort
View
ENTCS
2007
122views more  ENTCS 2007»
14 years 10 months ago
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
Hai Liu, Paul Hudak
IPL
2002
107views more  IPL 2002»
14 years 9 months ago
Binary space partitions for axis-parallel line segments: Size-height tradeoffs
We present worst-case lower bounds on the minimum size of a binary space partition (BSP) tree as a function of its height, for a set S of n axis-parallel line segments in the plan...
Sunil Arya
JSYML
2002
66views more  JSYML 2002»
14 years 9 months ago
Open Questions in The Theory of Spaces of Orderings
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
Murray A. Marshall
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 5 months ago
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann,...
SIAMMA
2011
87views more  SIAMMA 2011»
14 years 4 months ago
Barycenters in the Wasserstein Space
In this paper, we introduce a notion of barycenter in the Wasserstein space which generalizes McCann’s interpolation to the case of more than two measures. We provide existence,...
Martial Agueh, Guillaume Carlier