Sciweavers

721 search results - page 15 / 145
» Summability in topological spaces
Sort
View
ENTCS
2007
80views more  ENTCS 2007»
14 years 9 months ago
Topological Perspective on the Hybrid Proof Rules
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
Balder ten Cate, Tadeusz Litak
EUSFLAT
2003
105views Fuzzy Logic» more  EUSFLAT 2003»
14 years 11 months ago
Nearness relations and topology
J. Dobrakovov´a and the author in [7] introduced the relation of nearness in Banach space. In this paper we will go on investigating the nearness relation in a linear space with ...
Martin Kalina
RSA
2010
89views more  RSA 2010»
14 years 8 months ago
Some remarks on Betti numbers of random polygon spaces
Polygon spaces like Mℓ = {(u1, · · · , un) ∈ S1 × · · · S1 ; n i=1 liui = 0}/SO(2) or they three dimensional analogues Nℓ play an important rle in geometry and topolo...
Clément Dombry, Christian Mazza
CSL
2005
Springer
15 years 3 months ago
Computing with Sequences, Weak Topologies and the Axiom of Choice
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
Vasco Brattka, Matthias Schröder
IJCV
2002
133views more  IJCV 2002»
14 years 9 months ago
Probabilistic Tracking with Exemplars in a Metric Space
Abstract. A new, exemplar-based, probabilistic paradigm for visual tracking is presented. Probabilistic mechanisms are attractive because they handle fusion of information, especia...
Kentaro Toyama, Andrew Blake