1184 search results - page 56 / 237 » Nearness relations and topology |
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
The convergence on IP of a wide variety of traffic types has strengthened the need for service differentiation. Service differentiation relies on two equally important components:...
LREC
2008
13 years 11 months ago
2008
This paper is a contribution to formal ontology study. Some entities belong more or less to a class. In particular, some individual entities are attached to classes whereas they d...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
DAGSTUHL
2006
13 years 11 months ago
2006
This report discusses terminology choices and considerations relating to copied or redundant code within software systems, i.e., relating to "code clones." Inadequacies o...