887 search results - page 159 / 178 » Locally definable homotopy |
POPL
2010
ACM
14 years 5 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
HPCA
2006
IEEE
14 years 1 months ago
2006
IEEE
Caches are very inefficiently utilized because not all the excess data fetched into the cache, to exploit spatial locality, is utilized. We define cache utilization as the percent...
LAWEB
2006
IEEE
14 years 1 months ago
2006
IEEE
Internet browsing is highly dependent on the real-time network availability and speed. This becomes a significant constraint when browsing over slow and intermittent networks. In ...
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Accurately and effectively detecting the locations where search queries are truly about has huge potential impact on increasing search relevance. In this paper, we define a search...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
The industrial districts are characterized by the agglomeration of medium and small-sized industries, localized within a certain geographic area with precise social and cultural c...