Sciweavers

3328 search results - page 183 / 666
» Topological Quantum Computation
Sort
View
AIML
2006
15 years 5 months ago
From topology to metric: modal logic and quantification in metric spaces
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
121
Voted
GEOINFORMATICA
2006
116views more  GEOINFORMATICA 2006»
15 years 3 months ago
The Radial Topology Algorithm - A New Approach for Deriving 2.5D GIS Data Models
In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-b...
Ulrich Lenk, Christian Heipke
199
Voted
IJCV
2007
140views more  IJCV 2007»
15 years 3 months ago
Omnidirectional Vision Based Topological Navigation
Abstract. In this work we present a novel system for autonomous mobile robot navigation. With only an omnidirectional camera as sensor, this system is able to build automatically a...
Toon Goedemé, Marnix Nuttin, Tinne Tuytelaa...
138
Voted
GIS
1998
ACM
15 years 3 months ago
Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
A. Rashid B. M. Shariff, Max J. Egenhofer, David M...
GC
2007
Springer
15 years 3 months ago
Local Topological Toughness and Local Factors
We localize and strengthen Katona’s idea of an edge-toughness to a local topological toughness. We disprove a conjecture of Katona concerning the connection between edgetoughnes...
Frank Göring, Gyula Y. Katona