13383 search results - page 2537 / 2677 » Abstractions from proofs |
ICS
2004
Tsinghua U.
14 years 3 months ago
2004
Tsinghua U.
Storage mapping optimization is a flexible approach to folding array dimensions in numerical codes. It is designed to reduce the memory footprint after a wide spectrum of loop tr...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
ICWE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
INEX
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The widespread adoption of XML necessitates structureaware systems that can effectively retrieve information from XML document collections. This paper reports on the par...
ISAAC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Range searching over tree cross products – a variant of classic range searching – recently has been introduced by Buchsbaum et al. (Proc. 8th ESA, vol. 1879 of LNCS, ...