Sciweavers

6249 search results - page 41 / 1250
» Topological Informational Spaces
Sort
View
133
Voted
AIML
2008
15 years 5 months ago
Modal logics for mereotopological relations
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
Yavor Nenov, Dimiter Vakarelov
CCR
2004
119views more  CCR 2004»
15 years 3 months ago
Collecting the internet AS-level topology
At the inter-domain level, the Internet topology can be represented by a graph with Autonomous Systems (ASes) as nodes and AS peerings as links. This AS-level topology graph has b...
Beichuan Zhang, Raymond A. Liu, Daniel Massey, Lix...
101
Voted
DGCI
2000
Springer
15 years 8 months ago
A New Means for Investigating 3-Manifolds
The paper presents a new method of investigating topological properties of three-dimensional manifolds by means of computers. Manifolds are represented as finite cell complexes. Th...
Vladimir Kovalevsky
123
Voted
DL
1999
Springer
139views Digital Library» more  DL 1999»
15 years 7 months ago
Constructing Web Views from Automated Navigation Sessions
Existing web search engines provide users with the ability to query an off-line database of indices in order to decide on an entry point for further manual navigation. Results are...
Nadav Zin, Mark Levene
125
Voted
ICRA
2005
IEEE
106views Robotics» more  ICRA 2005»
15 years 9 months ago
Towards Topological Exploration of Abandoned Mines
— The need for reliable maps of subterranean spaces too hazardous for humans to occupy has motivated the use of robotic technology as mapping tools. As such, we present a systemi...
Aaron Morris, David Silver, David I. Ferguson, Sco...