1566 search results - page 62 / 314 » Topological spaces of the web |
91
Voted
ISCC
2007
IEEE
15 years 7 months ago
2007
IEEE
The Internet has grown tremendously in terms of the number of users who rely on it and the number of organizations that are connected to it. Characterizing how this growth affects...
117
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
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...
MLQ
2002
15 years 12 days ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
FOGA
2007
15 years 2 months ago
2007
Barrier trees are a convenient way of representing the structure of complex combinatorial landscapes over graphs. Here we generalize the concept of barrier trees to landscapes de...
110
Voted
CGF
1999
15 years 13 days ago
1999
We propose a technique for performing view-dependent geometry and topology simplifications for level-of-detailbased renderings of large models. The algorithm proceeds by preproces...