Sciweavers

6249 search results - page 101 / 1250
» Topological Informational Spaces
Sort
View
CIKM
2010
Springer
14 years 11 months ago
Maximum normalized spacing for efficient visual clustering
Zhi-Gang Fan, Yadong Wu, Bo Wu
147
Voted
CSE
2009
IEEE
15 years 10 months ago
Real World Routing Using Virtual World Information
—In this paper, we propose to leverage social graphs from Online Social Networks (OSN) to improve the forwarding efficiency of mobile networks, more particularly Delay Tolerant ...
Pan Hui, Nishanth R. Sastry
ICOIN
2003
Springer
15 years 9 months ago
Information-Theoretic Bounds for Mobile Ad-hoc Networks Routing Protocols
Abstract. In this paper, we define the routing overhead as the amount of information needed to describe the changes in a network topology. We derive a universal lower bound on the...
Nianjun Zhou, Alhussein A. Abouzeid
TPHOL
2005
IEEE
15 years 9 months ago
A HOL Theory of Euclidean Space
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
John Harrison