2625 search results - page 158 / 525 » Applications 2000 |
114
click to vote
JSYML
2010
15 years 2 months ago
2010
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woo...
140
click to vote
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
111
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
WEBNET
2000
15 years 5 months ago
2000
: Changing user skills, available infrastructure, and work practices have caused many differences in the authoring support provided by the Walden's Paths project since its con...
112
click to vote
ICS
2004
Tsinghua U.
15 years 9 months ago
2004
Tsinghua U.
With processor speeds continuing to outpace the memory subsystem, cache missing memory operations continue to become increasingly important to application performance. In response...