Sciweavers

1184 search results - page 30 / 237
» Nearness relations and topology
Sort
View
TOCL
2012
235views Formal Methods» more  TOCL 2012»
12 years 8 days 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
ISCC
2006
IEEE
127views Communications» more  ISCC 2006»
14 years 3 months ago
Visualizing and Managing Network Topologies via Rectangular Dualization
Rectangular dualization is an effective, hierarchically oriented visualization method for network topologies and can be used in many other problems having in common with networks ...
Massimo Ancona, Walter Cazzola, Sara Drago, Gianlu...
W2GIS
2005
Springer
14 years 3 months ago
Refined Route Instructions Using Topological Stages of Closeness
In pedestrian navigation, navigators are free to choose any passable way. Because of this characteristic, accurate route instructions are important when navigating from waypoint to...
Markus Wuersch, David Caduff
EACL
2003
ACL Anthology
13 years 11 months ago
Information Structure in Topological Dependency Grammar
Topological Dependency Grammar (TDG) is a lexicalized dependency grammar formalism, able to model languages with a relatively free word order. In such languages, word order variat...
Geert-Jan M. Kruijff, Denys Duchier
INFOCOM
2002
IEEE
14 years 2 months ago
Topologically-Aware Overlay Construction and Server Selection
— A number of large-scale distributed Internet applications could potentially benefit from some level of knowledge about the relative proximity between its participating host no...
Sylvia Ratnasamy, Mark Handley, Richard M. Karp, S...