Sciweavers

248 search results - page 4 / 50
» Sublocales in formal topology
Sort
View
CIKM
2007
Springer
14 years 1 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
TOCL
2012
235views Formal Methods» more  TOCL 2012»
11 years 9 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
ECAI
2004
Springer
14 years 25 days ago
Topological Visual Localization Using Decentralized Galois Lattices
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
Emmanuel Zenou, Malik Ghallab, Manuel Samuelides
IFSA
2007
Springer
119views Fuzzy Logic» more  IFSA 2007»
14 years 1 months ago
Topology in Fuzzy Class Theory: Basic Notions
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
Libor Behounek, Tomás Kroupa
JSAI
2005
Springer
14 years 28 days ago
Network Topologies and Consumption Externalities
Abstract. The economic implications of network topologies are studied via a monopolist’s model of market networks originally proposed by Phan, et al. (2003). By embedding the mar...
Shu-Heng Chen, Li-Cheng Sun, Chih-Chien Wang